Andreas Hamfelt, Jørgen Fischer Nilsson. Towards a Logic Programming Methodology Based on Higher-Order Predicates. New Generation Comput., 15(4):421-448, 1997.
@article{HamfeltN97,
title = {Towards a Logic Programming Methodology Based on Higher-Order Predicates},
author = {Andreas Hamfelt and Jørgen Fischer Nilsson},
year = {1997},
tags = {rule-based, logic programming, programming, logic},
researchr = {https://researchr.org/publication/HamfeltN97},
cites = {0},
citedby = {0},
journal = {New Generation Comput.},
volume = {15},
number = {4},
pages = {421-448},
}