reference for lexicographic path ordering
Some information at the right level of abstraction can be found in:


Nachum Dershowitz's A Taste of Rewrite Systems


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


Baader and Nipkov's Term Rewriting and All That