Formal techniques in artificial intelligence :  a sourcebook / 
edited by Ranan B. Banerji 
 - Amsterdam :  North-Holland,  1990 
 - xi, 437 p. :  ill. ;  24 cm. 
 - Studies in computer science and artificial intelligence  6 .
<br/><br/>p. 410-424 
<br/><br/><label>ISBN: </label>0444881301 
<br/><br/><label>LCCN: </label>89-23117 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence