Jörg Denzinger

Bibliography

Denzinger, Jörg and Dahn, Ingo. 1998. “Cooperating Theorem Provers.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 383–415. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.
Denzinger, Jörg and Fuchs, Matthias. 1998. “A Comparison of Equality Reasoning Heuristics.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 361–382. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.