Müller, J., & Socher, R. (1989). A resolution calculus extended by equivalence.
Chicago-Zitierstil (17. Ausg.)Müller, Jürgen, und Rolf Socher. A Resolution Calculus Extended by Equivalence. Kaiserslautern, 1989.
MLA-Zitierstil (9. Ausg.)Müller, Jürgen, und Rolf Socher. A Resolution Calculus Extended by Equivalence. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.