John W. Lloyd Predicate Construction in Higher-order Logic. 21-51 2000 4 Electron. Trans. Artif. Intell. B http://www.ep.liu.se/ej/etai/2000/009/ db/journals/etai/etai4.html#Lloyd00