1. Resolution in type theory;Andrews;J. Symb. Logic,1971
2. A formulation of the simple theory of types;Church;J. Symb. Logic,1940
3. A partial mechanization of second-order logic;Darlington,1971
4. Automatic program synthesis in second-order logic;Darlington;Proceedings of 3rd Intern. Joint Conf. on Artificial Intelligence,1973
5. A matching procedure for type theory;Ernst;Personal Communication,1971