APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.