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

by Spiro Michaylov , Frank Pfenning
Venue:Brown University
Citations:12 - 4 self