The logic of typed feature structures (1992)

by B Carpenter
Venue:in Cambridge Tracts in Theoretical Computer Science