____________________________________________ TTTbox (58.96 seconds) - February 22, 2007 University of Innsbruck, Computational Logic by Martin Korp (martin.korp@uibk.ac.at)