Symbolic Analysis Tools for CSP
scientific article; zbMATH DE number 6385977