Skip to main content

Invariants‚ patterns and weights for ordering terms

Ursula Martin and Duncan Shand

Journal
Journal of Symbolic Computation
Number
6
Pages
921–957
Publisher
Elsevier
Volume
29
Year
2000