Title: The Logic of Typed Feature Structures
Subjects: Data structures (computer science), Logic programming