University of Salzburg, Department for Computing Science NULL NULL Austria Email bnocker@cosy.sbg.ac.at Phone NULL