Decidability of unification in the theory of one-sided distributivity and a multiplicative unit

Dominance Constraints in Context Unification

LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics

Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications

Unification Modulo ACUI Plus Distributivity Axioms

Journal of Automated Reasoning

Cadmium: An Implementation of ACD Term Rewriting

ICLP '08 Proceedings of the 24th International Conference on Logic Programming