Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan, Andrey Rybalchenko. Horn Clause Solvers for Program Verification. In Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte, editors, Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Volume 9300 of Lecture Notes in Computer Science, pages 24-51, Springer, 2015. [doi]
@inproceedings{BjornerGMR15,
title = {Horn Clause Solvers for Program Verification},
author = {Nikolaj Bjørner and Arie Gurfinkel and Kenneth L. McMillan and Andrey Rybalchenko},
year = {2015},
doi = {10.1007/978-3-319-23534-9_2},
url = {http://dx.doi.org/10.1007/978-3-319-23534-9_2},
researchr = {https://researchr.org/publication/BjornerGMR15},
cites = {0},
citedby = {0},
pages = {24-51},
booktitle = {Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday},
editor = {Lev D. Beklemishev and Andreas Blass and Nachum Dershowitz and Bernd Finkbeiner and Wolfram Schulte},
volume = {9300},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-23533-2},
}