Handbook of Automated Reasoning 
editors  Alan Robinson and Andrei Voronkov 
 - Amsterdam;  Cambridge [Massachusetts]   Elsevier;  \The \\Mit Press  2001 
 - 2 vol. ; 25 cm 
<br/><br/>  \\Handbook of Automated Reasoning\ vol. 1;  \\Handbook of Automated Reasoning\ vol. 2 
<br/><br/><label>ISBN: </label>0-262-18223-8;  0-444-50813-9 
<br/><br/><label>Source: </label>C-242463;  C-242464 
<br/><br/><label>Index Terms--Genre/Form: </label><br/> tratat
<br/><br/><label>Universal Decimal Class. No.: </label>519.7/.8;  681.5