Logic for computer science and artificial intelligenceRicardo Caferra · First published 2011Open the Tome
Automated Model BuildingRicardo Caferra, Alexander Leitsch, Nicolas Peltier · First published 2004Open the Tome
Automated deduction in classical and non-classical logicsRicardo Caferra · First published 2000Open the Tome
