Geupel, O. (1989). Overlap closures and termination of term rewriting systems.
Chicago-Zitierstil (17. Ausg.)Geupel, Oliver. Overlap Closures and Termination of Term Rewriting Systems. Passau, 1989.
MLA-Zitierstil (9. Ausg.)Geupel, Oliver. Overlap Closures and Termination of Term Rewriting Systems. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.