ArticlesCall-by-Need Reduction for Membership Conditional Term Rewriting Systems
Under a Creative Commons license
open access
Cited by (0)
Copyright © 2003 Published by Elsevier B.V.