Universität Innsbruck, Austria
Department of Computer Science
rainer.boehme@uibk.ac.at