Building and Combining Matching Algorithms - Ringeissen, Christophe (Description Logic, Theory Combination, and All That, 2019)
Keywords: Combination of theories; Matching; Syntactic theories; Unification