Siva Anantharaman Paliath Narendran Michaël Rusinowitch Unification Modulo <i>ACUI</i> Plus Distributivity Axioms. 1-28 2004 33 J. Autom. Reasoning 1 http://www.springerlink.com/index/10.1007/s10817-004-2279-7 db/journals/jar/jar33.html#AnantharamanNR04