APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Ellison, Karen Starr. Higher-order Theorem Proving Using N-sorted Logic. [Mikrofiche-Ausg.]. 1976.

MLA (9th ed.) Citation

Ellison, Karen Starr. Higher-order Theorem Proving Using N-sorted Logic. [Mikrofiche-Ausg.]. 1976.

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