Logic of Typed Feature Structures : With Applications to Unification Grammars,Logic Programs and Constraint Resolution by Bob Carpenter. ISBN 0521419328. Published by Camb.U.P.. Publication and catalogue information, links to buy online and reader comments.