A foundation for higher-order logic programming (1993)

by W Chen, M Kifer, D Warren
Venue:Journal of Logic Programming 15(3):187–230. Common Logic Standard. http://philebus.tamu.edu/cl