Hilog: A foundation for higher-order logic programming (1993)

by Weidong Chen, Michael Kifer, David S Warren
Venue:The Journal of Logic Programming