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