Michael Plagge
E-mail: plagge@informatik.uni-tuebingen.de
Web address: http://www-ra.informatik.uni-tuebingen.de/