Joachim Steinbach. Simplification Orderings: Putting Them to the Test. Journal of Automated Reasoning, 10(3):389-397, 1993.
@article{Steinbach93, title = {Simplification Orderings: Putting Them to the Test}, author = {Joachim Steinbach}, year = {1993}, tags = {testing}, researchr = {https://researchr.org/publication/Steinbach93}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {10}, number = {3}, pages = {389-397}, }