z.B. http://www.waldmeister.org/
http://www.cs.miami.edu/~tptp/CASC/
http://cl-informatik.uibk.ac.at/mkbtt/
wähle/ändere Terminationsordnung während der Rechnung