http://www.fdmold.uni-freiburg.de/~araue/Main/Summary