Decision procedures for multisets with cardinality constraints (2008)

by R Piskac, V Kuncak
Venue:In VMCAI, number 4905 in LNCS