http://www.informatik.uni-giessen.de/staff/loewe/