François Barthélemy A Grammatical Approach to DCG Parsing. 632-646 1994 ICLP db/conf/iclp/iclp94.html#Barthelemy94