Middeldorp, A. (1989). Termination of disjoint unions of conditional term rewriting systems.
Chicago-Zitierstil (17. Ausg.)Middeldorp, Aart. Termination of Disjoint Unions of Conditional Term Rewriting Systems. Amsterdam, 1989.
MLA-Zitierstil (9. Ausg.)Middeldorp, Aart. Termination of Disjoint Unions of Conditional Term Rewriting Systems. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.