Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch. Unification Modulo ::::ACUI:::: Plus Distributivity Axioms. Journal of Automated Reasoning, 33(1):1-28, 2004. [doi]
@article{AnantharamanNR04,
title = {Unification Modulo ::::ACUI:::: Plus Distributivity Axioms},
author = {Siva Anantharaman and Paliath Narendran and Michaël Rusinowitch},
year = {2004},
url = {http://www.springerlink.com/index/10.1007/s10817-004-2279-7},
researchr = {https://researchr.org/publication/AnantharamanNR04},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {33},
number = {1},
pages = {1-28},
}