The Logic of Typed Feature Structures. Cambridge Tracts in Theoretical Computer Science (1992)

by Bob Carpenter