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