Efficient automated reasoning about sets and multisets with cardinality constraints
scientific article; zbMATH DE number 7614503