autore : Leo Bachmair
1
pubblicazione
Rewrite-based Equational Theorem Proving with Selection and Simplification (Journal of Logic and Computation, 1994) — Leo Bachmair, Harald Ganzinger Rewrite-based Equational Theorem Proving with Selection and Simplification (Journal of Logic and Computation, 1994) — Leo Bachmair, Harald Ganzinger