Simplification Orderings: Putting Them to the Test.

Joachim Steinbach Simplification Orderings: Putting Them to the Test. 389-397 1993 10 J. Autom. Reasoning 3 db/journals/jar/jar10.html#Steinbach93