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 Jun 20 09:09:00 2013 BST.
