Mircea Marin, Temur Kutsia. Matching with Membership Constraints for Hedge and Context Variables. In Mircea Marin, editor, Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008. pages 55-68, 2008. [doi]
Abstract is missing.