The following publications are possibly variants of this publication:
- Formalizing Bachmair and Ganzinger's Ordered Resolution ProverAnders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann. cade 2018: 89-107 [doi]
- Formalizing Bachmair and Ganzinger's Ordered Resolution ProverAnders Schlichtkrull, Jasmin Blanchette, Dmitriy Traytel, Uwe Waldmann. JAR, 64(7):1169-1195, 2020. [doi]
- A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution ProverAnders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel. afp, 2018, 2018. [doi]
- Refutational Theorem Proving for Hierachic First-Order TheoriesLeo Bachmair, Harald Ganzinger, Uwe Waldmann. aaecc, 5:193-212, 1994.
- Theorem Proving for Hierarchic First-Order TheoriesLeo Bachmair, Harald Ganzinger, Uwe Waldmann. icalp 1992: 420-434