Harvey Abramson Definite Feature Grammars for Natural and Formal Languages: An Introduction to the Formalism. 213-225 1991 Natural Language Understanding and Logic Programming Workshop db/conf/nlulp/nlulp91.html#Abramson91