A note on simplification orderings
By: Nachum Dershowitz.
Series: [Report] - UIUCDCS-R-79 ; 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: Includes bibliographical references.
"April 1979."
"UILU-ENG 79 1736."