author : Harald Ganzinger
1
publication
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