Khasidashvili, Z. (1993). Perpetual reductions and strong normalization in orthogonal term rewriting systems. Centrum voor Wiskunde en Informatica.
Chicago-Zitierstil (17. Ausg.)Khasidashvili, Zurab. Perpetual Reductions and Strong Normalization in Orthogonal Term Rewriting Systems. Amsterdam: Centrum voor Wiskunde en Informatica, 1993.
MLA-Zitierstil (9. Ausg.)Khasidashvili, Zurab. Perpetual Reductions and Strong Normalization in Orthogonal Term Rewriting Systems. Centrum voor Wiskunde en Informatica, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.