A note on simplification orderings
β
Nachum Dershowitz
π
Article
π
1979
π
Elsevier Science
π
English
β 553 KB