Progress in Artificial IntelligencePedro Barahona, Jose J. Alferes · First published 2003Open the Tome