Bertram Felgenhauer

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