(1990). An infinitary church-rosser property for non-collapsing orthogonal term rewriting systems.
Chicago-Zitierstil (17. Ausg.)An Infinitary Church-rosser Property for Non-collapsing Orthogonal Term Rewriting Systems. Amsterdam, 1990.
MLA-Zitierstil (9. Ausg.)An Infinitary Church-rosser Property for Non-collapsing Orthogonal Term Rewriting Systems. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.