Laura Kovács, Simon Robillard, Andrei Voronkov. Coming to terms with quantified reasoning. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 260-270, ACM, 2017. [doi]
Abstract is missing.