An empirical study of the runtimebehavior of higher-order logic programs (1992)

by S Michaylov, F Pfenning
Venue:University of Pennsylvania