APA (7th ed.) Citation

Ellison, K. S. (1976). Higher-order theorem proving using n-sorted logic.

Chicago Style (17th ed.) Citation

Ellison, Karen Starr. Higher-order Theorem Proving Using N-sorted Logic. 1976.

MLA (9th ed.) Citation

Ellison, Karen Starr. Higher-order Theorem Proving Using N-sorted Logic. 1976.

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