1. Jürgen Avenhaus and Klaus Becker. Conditional rewriting modulo a built-in algebra. SEKI Report SR-92-11, Fachbereich Informatik, Univ. Kaiserslautern, 1992.
2. Leo Bachmair and Harald Ganzinger. Associative-commutative superposition. In Nachum Dershowitz and Naomi Lindenstrauss, eds., Conditional and Typed Rewrite Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 1994, LNCS 968, pp. 1–14. Springer-Verlag.
3. Leo Bachmair and Harald Ganzinger. Ordered chaining for total orderings. In Alan Bundy, ed., Twelfth International Conference on Automated Deduction, Nancy, France, June/July 1994, LNAI 814, pp. 435–450. Springer-Verlag.
4. Leo Bachmair and Harald Ganzinger. Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation, 4(3):217–247, 1994.
5. Leo Bachmair, Harald Ganzinger, and Uwe Waldmann. Superposition with simplification as a decision procedure for the monadic class with equality. In Georg Gottlob, Alexander Leitsch, and Daniele Mundici, eds., Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, Brno, Czech Republic, August 1993, LNCS 713, pp. 83–96. Springer-Verlag.