Leiß, H., & Henglein, F. (1991). A decidable case of the semi-unification problem. CIS.
Chicago-Zitierstil (17. Ausg.)Leiß, Hans, und Fritz Henglein. A Decidable Case of the Semi-unification Problem. München: CIS, 1991.
MLA-Zitierstil (9. Ausg.)Leiß, Hans, und Fritz Henglein. A Decidable Case of the Semi-unification Problem. CIS, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.