http://www-ai.cs.uni-dortmund.de/index.html