E-Mail: rhafner@informatik.uni-freiburg.de WWW: http://ml.informatik.uni-freiburg.de/people/rhafner/info