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.