Programming with narrowing: a tutorial
scientific article; zbMATH DE number 5704030
scientific article