Ohsuga, A., & Sakai, K. (1991). Complete E-unification based on an extension of the Knuth-Bendix completion procedure.
Chicago-Zitierstil (17. Ausg.)Ohsuga, A., und Ko Sakai. Complete E-unification Based on an Extension of the Knuth-Bendix Completion Procedure. Tokyo, Japan, 1991.
MLA-Zitierstil (9. Ausg.)Ohsuga, A., und Ko Sakai. Complete E-unification Based on an Extension of the Knuth-Bendix Completion Procedure. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.