"An Efficient Representation of Arithmetic for Term Rewriting."

Dave Cohen, Phil Watson (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics