On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry (Logical Methods in Computer Science, 2015)