@article{Karbyshev17UPDR,
  author = {Aleksandr Karbyshev and Nikolaj Bj\orner and Shachar Itzhaky and Noam Rinetzky and Sharon Shoham},
  title = {Property-{D}irected {I}nference of {U}niversal {I}nvariants or {P}roving {T}heir {A}bsence},
  journal = {Journal of ACM},
  year = 2017,
  pages = {7:1--7:33},
  volume = {64},
  number = {1},
  doi = {10.1145/3022187},
}