ML Anthology

Verma, Rakesh M.

1 publications

IJCAI 1995 Unique Normal Forms and Confluence of Rewrite Systems: Persistence Rakesh M. Verma