Higher-order theorem proving using n-sorted logic - Ellison, Karen Starr (1976)
Kopie, erschienen im Verl. Univ. Microfilms Internat., Ann Arbor, Mich.