Automating Higher-Order Logic

• 1 January 1984
• other
• Published by American Mathematical Society (AMS) in Contemporary Mathematics
• Vol. 29, 169-192
• https://doi.org/10.1090/conm/029/09

Abstract