Carpenter, Bob <br/><br/>
The logic of typed feature structures :  with applications to unification grammars, logic programs, and constraint resolution / 
Bob Carpenter 
 - Cambridge :  Cambridge University Press,  2005 
 - viii, 270 p. :  ill. ;  24 cm. 
 - Cambridge tracts in theoretical computer science ;  32 .
<br/><br/> First published 1992 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780521022545 (pbk.) 9780521419321 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Data structures (Computer science)<br/>Logic programming