Rewrite methods for clausal and non-clausal theorem proving. (English) Zbl 0523.68080

Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 331-346 (1983).


68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68N01 General topics in the theory of software
68P05 Data structures
03B35 Mechanization of proofs and logical operations


Zbl 0511.00030