Address

Computational Logic Research Group
Institute of Computer Science
University of Innsbruck
Technikerstraße 21a
A-6020 Innsbruck
Austria

Miscellaneous

office hours:
office:
telephone:
email:	martin.korp__AT__uibk.ac.at