Cohen, D. and Watson, P.
(1991)
An efficient representation of arithmetic for term rewriting.
In: Rewrite Techniques and Applications, Proceedings of the 4th Conference on Rewrite Techniques and Applications, Como, Italy, 1991.
The full text of this publication is not available from this repository.
This list was generated on Thu May 23 03:59:08 2013 BST.
