Attribute-value logic and the theory of grammar - Johnson, Mark (Leland Stanford Junior University, 1988)