A new generic scheme for functional logic programming with constraints
scientific article; zbMATH DE number 5155276
scientific article