APA-Zitierstil (7. Ausg.)

Giunchiglia, F., & Walsh, T. (1990). Abstract theorem proving: Mapping back.

Chicago-Zitierstil (17. Ausg.)

Giunchiglia, Fausto, und Toby Walsh. Abstract Theorem Proving: Mapping Back. Edinburgh, 1990.

MLA-Zitierstil (9. Ausg.)

Giunchiglia, Fausto, und Toby Walsh. Abstract Theorem Proving: Mapping Back. 1990.

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