Inductive theorem proving by consistency for first-order clauses. (English) Zbl 1508.03041
Rusinowitch, Michaël (ed.) et al., Conditional term rewriting systems. 3rd international workshop, CTRS-92, Pont-a-Mousson, France, July 8–10, 1992. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 656, 226-241 (1993).