Faster Linear Unification Algorithm

Dennis de Champeaux. Faster Linear Unification Algorithm. Journal of Automated Reasoning, 66(4):845-860, 2022. [doi]

Abstract

Abstract is missing.