1. Weidong Chen, Michael Kifer, and David S. Warren. HiLog: a foundation for higher-order logic programming. The Journal of Logic Programming, 15(3):187–230, 1993. 279
2. Dale A. Miller and Gopalan Nadathur. Higher-order logic programming. In G. Goos and J. Hartmanis, editors, Third International Conference on Logic Programming, Proceedings, pages 448–462. Springer, 1986. 276, 277
3. Gopalan Nadathur and Dale A. Miller. An overview of λPROLOG. In Robert A. Kowalski and Kenneth A. Bowen, editors, Fifth International Conference on Logic Programming, Proceedings, volume 2, pages 810–827. MIT Press, 1988. 276, 277
4. António Porto. Towards fully integrated information services. In Lígia Maria Ribeiro and José Marques dos Santos, editors, The Changing Universities: The Challenge of New Technologies, Eunis 2002, The 8th International Conference of European University Information Systems, Proceedings, pages 319–324. FEUP edições, Universityof Porto, Portugal, 2002. 275, 276, 277, 282, 284, 288
5. D. H. Warren. Higher-order extensions to PROLOG: are they needed? In J.E. Hayes, Donald Michie, and Y-H. Pao, editors, Machine Intelligence 10, pages 441–454. Ellis Horwood, 1982. 275, 276, 277