@article{lmcs:1571, title = {On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry}, author = {Andrew M Marshall and Catherine Meadows and Paliath Narendran}, url = {https://lmcs.episciences.org/1571}, doi = {10.2168/LMCS-11(2:11)2015}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 11, Issue 2}, eid = 11, year = {2015}, month = {Jun}, keywords = {Computer Science - Logic in Computer Science}, }