Andrew M. Marshall, Paliath Narendran
New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants
IJCAR, 2012.
@inproceedings{IJCAR-2012-MarshallN, author = "Andrew M. Marshall and Paliath Narendran", booktitle = "{Proceedings of the Sixth International Joint Conference on Automated Reasoning}", doi = "10.1007/978-3-642-31365-3_32", isbn = "978-3-642-31364-6", pages = "408--422", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants}", volume = 7364, year = 2012, }