Andrei Voronkov Christoph Weidenbach <br/><br/>
Programming Logics: Essays in Memory of Harald Ganzinger 

 - Heidelberg  Springer-Verlag Berlin  2013 
<br/><br/><label>ISBN: </label>978-3-642-37651-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MCA&BCA