Decision procedures for multisets with cardinality constraints (2008)

by R Piskac, V Kuncak
Venue:In VMCAI, volume 4905 of LNCS