Logics in Artificial IntelligenceFarinas Luis Del Cerro, Ulrich Furbach · First published 2003Open the Tome
