| 2005 | ICCS | A Visual Interactive Framework for Formal Derivation. | Paul Agron, Leo Bachmair, Frank Nielsen |
| 2004 | AISC | On the Combination of Congruence Closure and Completion. | Christelle Scharff, Leo Bachmair |
| 2000 | CADE | Abstract Congruence Closure and Specializations. | Leo Bachmair, Ashish Tiwari |
| 2000 | CADE | Rigid | Ashish Tiwari, Leo Bachmair, Harald Rue |
| 1998 | CADE | Strict Basic Superposition. | Leo Bachmair, Harald Ganzinger |
| 1998 | CADE | Elimination of Equality via Transformation with Ordering Constraints. | Leo Bachmair, Harald Ganzinger, Andrei Voronkov |
| 1995 | IJCAI | Experiments with Associative-Commutative Discrimination Nets. | Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin |
| 1994 | CADE | Ordered Chaining for Total Orderings. | Leo Bachmair, Harald Ganzinger |
| 1994 | COMPASS | Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings. | Leo Bachmair, Harald Ganzinger, Jrgen Stuber |
| 1994 | LICS | Rewrite Techniques for Transitive Relations | Leo Bachmair, Harald Ganzinger |
| 1993 | LICS | Set Constraints are the Monadic Class | Leo Bachmair, Harald Ganzinger, Uwe Waldmann |
| 1992 | CADE | Basic Paramodulation and Superposition. | Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder |
| 1992 | LPAR | Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria. | Leo Bachmair, Harald Ganzinger |
| 1991 | ICLP | Perfect Model Semantics for Logic Programs with Equality. | Leo Bachmair, Harald Ganzinger |
| 1990 | CADE | On Restrictions of Ordered Paramodulation with Simplification. | Leo Bachmair, Harald Ganzinger |
| 1988 | LICS | Proof by Consistency in Equational Theories | Leo Bachmair |
| 1987 | LICS | Inference Rules for Rewrite-Based First-Order Theorem Proving | Leo Bachmair, Nachum Dershowitz |
| 1986 | CADE | Commutation, Transformation, and Termination. | Leo Bachmair, Nachum Dershowitz |
| 1986 | ISSAC | Critical-pair criteria for the Knuth-Bendix completion procedure. | Leo Bachmair, Nachum Dershowitz |
| 1986 | LICS | Orderings for Equational Proofs | Leo Bachmair, Nachum Dershowitz, Jieh Hsiang |