\section{Iterative Lexicographic Path Order}
\themex{Iterative Lexicographic Path Order}