Evelyne Contejean. Solving *-Problems Modulo Distributivity by a Reduction to AC1-Unification. Journal of Symbolic Computation, 16(5):493-521, 1993.
@article{Contejean93, title = {Solving *-Problems Modulo Distributivity by a Reduction to AC1-Unification}, author = {Evelyne Contejean}, year = {1993}, researchr = {https://researchr.org/publication/Contejean93}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {16}, number = {5}, pages = {493-521}, }