<p>Some information at the right level of abstraction can be found in:</p>

<ul>
<li>Nachum Dershowitz's <a href="http://www.cs.uiowa.edu/~fleck/181content/taste-fixed.pdf" rel="noreferrer">A Taste of Rewrite Systems</a></li>
</ul>

<p>If you are near a library or bookshop, this book has even more details:</p>

<ul>
<li>Baader and Nipkov's <a href="http://rads.stackoverflow.com/amzn/click/0521779200" rel="noreferrer">Term Rewriting and All That</a></li>
</ul>

CC BY-SA 3.0
2011-04-13T15:30:19.280Z
Thanks for the references. I've read the section on orders from 'Term Rewriting and All That' and it was very good and quite easy to follow.
Stefan Ciobaca
CC BY-SA 3.0
2011-04-12T14:24:50.633Z
2011-04-12T20:14:26.273Z
2011-04-12T20:14:26.273Z
Dave Clarke
<p>Can you recommend a good reference for reading about lexicographic/recursive path orderings?</p>

<p>I'm currently reading about lpo's in Chapter 2 of the Handbook of Automated Reasoning, 'Resolution Theorem Proving' by Bachmair and Ganzinger, but the presentation is really terse. I would ideally like a more tutorial-like introduction w/ examples.</p>

<reference-request><lo.logic><partial-order><automated-theorem-proving><term-rewriting-systems>
reference for lexicographic path ordering
Stefan Ciobaca
# reference for lexicographic path ordering

(Asked by: username_0 on 2011-04-12)

Can you recommend a good reference for reading about lexicographic/recursive path orderings?

I'm currently reading about lpo's in Chapter 2 of the Handbook of Automated Reasoning, 'Resolution Theorem Proving' by Bachmair and Ganzinger, but the presentation is really terse. I would ideally like a more tutorial-like introduction w/ examples.

**Tags:** reference-request, lo.logic, partial-order, automated-theorem-proving, term-rewriting-systems

---

## 1 answers

### Answer by username_1 on 2011-04-12. Score: 8

Some information at the right level of abstraction can be found in:

* Nachum Dershowitz's [A Taste of Rewrite Systems](http://www.cs.uiowa.edu/~fleck/181content/taste-fixed.pdf)

If you are near a library or bookshop, this book has even more details:

* Baader and Nipkov's [Term Rewriting and All That](http://rads.stackoverflow.com/amzn/click/0521779200)

> **Comments:**
> **username_0**: Thanks for the references. I've read the section on orders from 'Term Rewriting and All That' and it was very good and quite easy to follow.  

---

