From Termination-Portal.org

Matchbox (Matchbox)

• developed at HTWK Leipzig, Germany
• home page: http://dfa.imn.htwk-leipzig.de/matchbox/
• developers: Johannes Waldmann
• publication: http://dblp.uni-trier.de/rec/bibtex/conf/rta/KoprowskiW08

For matchbox/poly, see http://dfa.imn.htwk-leipzig.de/matchbox/poly/