Title: A note on simplification orderings
First published: 1979
Subjects: Computational complexity, Automatic theorem proving
LC classification: QA76 .I4 no. 986, QA76.9.A96 .I4 no. 986