On the effectiveness of higher-order logic programming in language-oriented programming
scientific article; zbMATH DE number 7368087