Lawrence J. Henschen. N-sorted logic for automatic theorem-proving in higher-order logic. In John J. Donovan, Rosemary Shields, editors, Proceedings of the ACM annual conference, ACM 1972, Boston, MA, USA, August 1972, Volume 1. pages 71-81, ACM, 1972. [doi]