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

by S Michaylov, F Pfenning
Venue:In Workshop on Prolog