1. Aws Albarghouthi, Isil Dillig & Arie Gurfinkel (2016): Maximal specification synthesis. In: Rastislav Bodík & Rupak Majumdar: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. ACM, pp. 789–801, doi:10.1145/2837614.2837628.
  2. Fahiem Bacchus, Matti Järvisalo & Ruben Martins (2021): Maximum Satisfiability. In: Armin Biere, Marijn Heule, Hans van Maaren & Toby Walsh: Handbook of Satisfiability, 2 edition, Frontiers in Artificial Intelligence and Applications. IOS PRESS, Netherlands, pp. 929 – 991, doi:10.3233/FAIA201008.
  3. Tewodros A. Beyene (2015): Temporal Program Verification and Synthesis as Horn Constraints Solving. TU Munich.
  4. Tewodros A. Beyene, Corneliu Popeea & Andrey Rybalchenko (2013): Solving Existentially Quantified Horn Clauses. In: Natasha Sharygina & Helmut Veith: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, Lecture Notes in Computer Science 8044. Springer, pp. 869–882, doi:10.1007/978-3-642-39799-8_61.
  5. Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan & Andrey Rybalchenko (2015): Horn Clause Solvers for Program Verification. In: Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner & Wolfram Schulte: Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday, Lecture Notes in Computer Science 9300. Springer, pp. 24–51, doi:10.1007/978-3-319-23534-9_2.
  6. Nikolaj Bjørner, Kenneth L. McMillan & Andrey Rybalchenko (2013): On Solving Universally Quantified Horn Clauses. In: Francesco Logozzo & Manuel Fähndrich: Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings, Lecture Notes in Computer Science 7935. Springer, pp. 105–125, doi:10.1007/978-3-642-38856-9_8.
  7. Hossein Hojjat & Philipp Rümmer (2018): The ELDARICA Horn Solver. In: Nikolaj Bjørner & Arie Gurfinkel: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. IEEE, pp. 1–7, doi:10.23919/FMCAD.2018.8603013.
  8. Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný & Nate Foster (2016): Optimizing Horn solvers for network repair. In: Ruzica Piskac & Muralidhar Talupur: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016. IEEE, pp. 73–80, doi:10.1109/FMCAD.2016.7886663.
  9. Jérôme Leroux, Philipp Rümmer & Pavle Subotic (2016): Guiding Craig interpolation with domain-specific abstractions. Acta Informatica 53(4), pp. 387–424, doi:10.1007/s00236-015-0236-z.
  10. Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar & Deepak D'Souza (2021): Specification synthesis with constrained Horn clauses. In: Stephen N. Freund & Eran Yahav: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021. ACM, pp. 1203–1217, doi:10.1145/3453483.3454104.

Comments and questions to:
For website issues: