An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs (1992)

by Spiro Michaylov , Frank Pfenning
Venue:University of Pennsylvania. Available as
Citations:28 - 7 self