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