William W. Wadge
Higher-Order Horn Logic Programming
ICLP, 1991.
@inproceedings{ISLP-1991-Wadge, author = "William W. Wadge", booktitle = "{Proceedings of the Eighth International Symposium on Logic Programming}", isbn = "0-262-69147-7", pages = "289--303", publisher = "{MIT Press}", title = "{Higher-Order Horn Logic Programming}", year = 1991, }