LOGIC OF TYPED FEATURE STRUCTURES - Carpenter, Bob (Cambridge Cambridge Univ. Press, 1992)
Includes Bibliographical References And Index
Keywords: Data Structures (Computer Science); Logic Programming