Peter B. Andrews;Sunil Issar;Dan Nesmith;Frank Pfenning
-;-;-;-
How to prove higher order theorems in first order logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1