Reasoning about Set Comprehension (2014)

by E S L Lam, I Cervesato
Venue:In SMT’14