Richard Günther
E-mail: guenth@informatik.uni-tuebingen.de
Web address: http://www-ra.informatik.uni-tuebingen.de/