TY  - BOOK
AU  - Carpenter,Bob
TI  - The logic of typed feature structures: with applications to unification grammars, logic programs, and constraint resolution 
T2  - Cambridge tracts in theoretical computer science
SN  - 9780521022545 (pbk.)
PY  - 2005///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Data structures (Computer science)
KW  - Logic programming
N1  - First published 1992; Includes bibliographical references and index
ER  -