Regular ArticleDerivation Trees of Ground Term Rewriting Systems
Under an Elsevier user license
open archive
Cited by (0)
- f1
E-mail: [email protected]
Copyright © 1999 Academic Press. All rights reserved.