He Zhu, Stephen Magill, Suresh Jagannathan. A data-driven CHC solver. In Jeffrey S. Foster, Dan Grossman, editors, Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018. pages 707-721, ACM, 2018. [doi]
Abstract is missing.