Weidong Chen, David Scott Warren. Predicate Abstractions in Higher-Order Logic Programming. New Generation Comput., 14(2):195-236, 1996.
@article{ChenW96:5,
title = {Predicate Abstractions in Higher-Order Logic Programming},
author = {Weidong Chen and David Scott Warren},
year = {1996},
tags = {logic programming, programming, logic, abstraction},
researchr = {https://researchr.org/publication/ChenW96%3A5},
cites = {0},
citedby = {0},
journal = {New Generation Comput.},
volume = {14},
number = {2},
pages = {195-236},
}