Managing structural information by higher-order colored unification
simply typed \(\lambda\) calculus with color annotations
scientific article; zbMATH DE number 1513271