Schmidt-Schaub, M. <br/><br/>
Computational aspects of an order-sorted logic with term declaration / 
M. Schmidt-Schaub 
 - Berlin :  Springer-Verlag,  1989 
 - 171 p. :  ill. ;  24 cm. 
 - Lecture Notes in Artificial Intelligence  395 .
<br/><br/>Includes bibliographical references 
<br/><br/><label>ISBN: </label>3540517057 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Sorting (Electronic computers)