Jörn Ihlenburg
E-mail: ihlenburg@informatik.uni-tuebingen.de
Web address: http://www-ra.informatik.uni-tuebingen.de/