Positive and negative results for higher-order disunification
algebraic higher-order specification languages
scientific article; zbMATH DE number 884783