Regular ArticleSolving *-problems modulo Distributivity by a Reduction to AC1-unification
Under an Elsevier user license
open archive
Cited by (0)
Copyright © 1993 Academic Press. All rights reserved.