New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants.

Andrew M. Marshall, Paliath Narendran

Browse the full CADE paper archive.