Leidinger, H., & Weidenbach, C. (2024). Non-Ground Congruence Closure.
Chicago-Zitierstil (17. Ausg.)Leidinger, Hendrik, und Christoph Weidenbach. Non-Ground Congruence Closure. 2024.
MLA-Zitierstil (9. Ausg.)Leidinger, Hendrik, und Christoph Weidenbach. Non-Ground Congruence Closure. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.