Higher-Order Logic Programming as Constraint Logic Programming (1993)

by Spiro Michaylov , Frank Pfenning
Venue:Brown University
Citations:13 - 5 self