An empirical study of the runtime behavior of higherorder logic programs (1992)

by Spiro Michaylov, Frank Pfenning
Venue:University of Pennsylvania. Available as