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 Tue Jun 18 05:32:06 2013 BST.
