@inproceedings{Padon16Decidability,
  author = {Oded Padon and Neil Immerman and Sharon Shoham and Aleksandr Karbyshev and Mooly Sagiv},
  title = {Decidability of {I}nferring {I}nductive {I}nvariants},
  booktitle = {Principles of Programming Languages},
  month = {January},
  year = 2016,
  series = {SIGPLAN},
  publisher = {ACM},
  address = {St. Petersburg, Florida, USA},
}