Equality detection for linear arithmetic constraints
scientific article; zbMATH DE number 5844144
scientific article