Spiro Michaylov, Frank Pfenning. Higher-Order Logic Programming as Constraint Logic Programming. In PPCP. pages 210-218, 1993.
@inproceedings{MichaylovP93, title = {Higher-Order Logic Programming as Constraint Logic Programming}, author = {Spiro Michaylov and Frank Pfenning}, year = {1993}, tags = {constraints, logic programming, programming, logic}, researchr = {https://researchr.org/publication/MichaylovP93}, cites = {0}, citedby = {0}, pages = {210-218}, booktitle = {PPCP}, }