@inproceedings{Apinis12SEConstraints,
  author = {K. Apinis and H. Seidl and V. Vojdani},
  title = {Side-{E}ffecting {C}onstraint {S}ystems: {A} {S}wiss {A}rmy {K}nife for {P}rogram {A}nalysis},
  booktitle = {APLAS},
  year = 2012,
  pages = {157-172},
  publisher = {LNCS 7705, Springer},
}