Wojciech Dzik, Piotr Wojtylak. Unification in predicate logic. In Silvio Ghilardi, Manfred Schmidt-Schauß, editors, Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016. pages 9-12, 2016. [doi]
Abstract is missing.