Iliano Cervesato, Edmund S. L. Lam. Overlap and Independence in Multiset Comprehension Patterns. In Silvio Ghilardi, Manfred Schmidt-Schauß, editors, Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016. pages 51-56, 2016. [doi]
Abstract is missing.