Ezudheen, P., Neider, D., D'Souza, D., Garg, P., & Madhusudan, P. (2018). Horn-ICE Learning for Synthesizing Invariants and Contracts. Proceedings of the ACM on Programming Languages, 2(OOPSLA): 131, pp. 1-25. doi:10.1145/3276501.