Amy P. Felty Definite Clause Grammars for Parsing Higher-Order Syntax. 668 1993 ILPS db/conf/slp/slp93.html#Felty93