A New Strategy for Semantic Matching - Bernd Bütow; Robert Giegerich; Enno Ohlebusch; Stephan Thesing (PLILP, 1995)

Semantic Matching for Left-Linear Convergent Rewrite Systems - Bernd Bütow; Robert Giegerich; Enno Ohlebusch; Stephan Thesing (J. Funct. Log. Program., 1999)