Computational Logic Research Group
Institute of Computer Science
University of Innsbruck
Austria

room: 3M03
phone: +43/512/507-53289
email: thomas.sternagel__AT__uibk.ac.at
PGP key