Introduction to the special issue: Unification

Mauricio Ayala-Rincón, Philippe Balbiani. Introduction to the special issue: Unification. Mathematical Structures in Computer Science, 30(6):570-571, 2020. [doi]

Abstract

Abstract is missing.