@book{Carpenter92, author = {Carpenter, Bob}, year = {1992}, title = {The Logic of Typed Feature Structures}, publisher = {Cambridge University Press}, address = {Cambridge, England} }