Leon Bachmair (bachmair)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Bachmair, Leon and Ganzinger, Harald. 1998. “Equational Reasoning in Saturation-Based Theorem Proving.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 353–398. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.