@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}, }