Voronkov,  A. <br/><br/>
Logic for Programming, Artificial Intelligence, and Reasoning  :   12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 / 
Voronkov, A., Sutcliffe, Geoff. 
<br/><br/><label>Dewey Class. No.: </label>QA76.63 .L735 2005eb