Weidong Chen Michael Kifer David Scott Warren HILOG: A Foundation for Higher-Order Logic Programming. 187-230 1993 15 J. Log. Program. 3 db/journals/jlp/jlp15.html#ChenKW93