Towards a Logic Programming Methodology Based on Higher-Order Predicates

Andreas Hamfelt, Jørgen Fischer Nilsson. Towards a Logic Programming Methodology Based on Higher-Order Predicates. New Generation Comput., 15(4):421-448, 1997.

Possibly Related Publications

The following publications are possibly variants of this publication: