A \(\rho\)-calculus of explicit constraint application
scientific article; zbMATH DE number 5155278
scientific article