Authors: BACHMAIR L GANZINGER H LYNCH C SNYDER W

Citation: L. Bachmair et al., BASIC PARAMODULATION, Information and computation, 121(2), 1995, pp. 172-192

Authors: BACHMAIR L DERSHOWITZ N

Citation: L. Bachmair et N. Dershowitz, EQUATIONAL INFERENCE, CANONICAL PROOFS, AND PROOF ORDERINGS, Journal of the Association for Computing Machinery, 41(2), 1994, pp. 236-276