[CITATION][C] Reductive conditional term rewriting systems

JP Jouannaud, B Waldmann - 1986 - Centre de Recherche en …
Showing the best result for this search. See all results