Göbel, R. (1983). A completion procedure for globally finite term rewriting systems.
Chicago-Zitierstil (17. Ausg.)Göbel, Richard. A Completion Procedure for Globally Finite Term Rewriting Systems. Kaiserslautern, 1983.
MLA-Zitierstil (9. Ausg.)Göbel, Richard. A Completion Procedure for Globally Finite Term Rewriting Systems. 1983.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.