APA-Zitierstil (7. Ausg.)

Smaill, A., & Green, I. (1996). Higher order annotated terms for proof search.

Chicago-Zitierstil (17. Ausg.)

Smaill, Alan, und Ian Green. Higher Order Annotated Terms for Proof Search. Edinburgh, 1996.

MLA-Zitierstil (9. Ausg.)

Smaill, Alan, und Ian Green. Higher Order Annotated Terms for Proof Search. 1996.

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