A note on simplification orderings
By: Nachum Dershowitz
Series: Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) -- no. 986; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) -- no. 986
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1979
Place of publication: Urbana, Ill
Language: eng
Subjects: Automatic theorem proving; Computational complexity
Notes: "UILU-ENG 79 1736."

"April 1979."

Includes bibliographical references.