Cardinality constraints for arrays (decidability results and applications)
scientific article; zbMATH DE number 6823095
scientific article