Termination of Integer Term Rewriting.

Published in: Interaction versus Automation: The two Faces of Deduction (2009)