Holger Busch First-Order Automation for Higher-Order-Logic Theorem Proving. 97-112 1994 conf/tphol/1994 TPHOLs db/conf/tphol/tphol94.html#Busch94 http://dx.doi.org/10.1007/3-540-58450-1_37