Login / Signup

On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry.

Andrew M. MarshallCatherine A. MeadowsPaliath Narendran
Published in: Log. Methods Comput. Sci. (2015)
Keyphrases