APA-Zitierstil (7. Ausg.)

Beierle, C., & Börger, E. (1991). A WAM extension for type-constraint logic programming: Specification and correctness proof. IWBS.

Chicago-Zitierstil (17. Ausg.)

Beierle, Christoph, und Egon Börger. A WAM Extension for Type-constraint Logic Programming: Specification and Correctness Proof. [Heidelberg]: IWBS, 1991.

MLA-Zitierstil (9. Ausg.)

Beierle, Christoph, und Egon Börger. A WAM Extension for Type-constraint Logic Programming: Specification and Correctness Proof. IWBS, 1991.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.