| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution | 978-0-521-02254-5 (0-521-02254-1) | 2008 |
| The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution | 978-0-521-41932-1 (0-521-41932-8) | 1992 |
L. C. · L. Carpenter · R. C. · R. Carpenter · R. L · Robert C. · Robert Carpenter · Robert L.