The Logic of Typed Feature Structures; with Applications to Unification Grammars (1992)

by Bob Carpenter
Venue:Logic Programs and Constraint Resolution. Number 32 in Cambridge Tracts in Theoretical Computer Science