Author:
Abdulla Parosh Aziz,Liang Chencheng,Rümmer Philipp
Publisher
Springer Nature Switzerland
Reference47 articles.
1. Liang, C., Rümmer, P., Brockschmidt, M.: Exploring representation of Horn clauses using GNNs (extended technique report). CoRR, abs/2206.06986 (2022)
2. Horn, A.: On sentences which are true of direct unions of algebras. J. Symbol. Logic 16(1), 14–21 (1951)
3. De Angelis, E., Fioravanti, F., Gallagher, J.P., Hermenegildo, M.V., Pettorossi, A., Proietti, M.: Analysis and transformation of constrained Horn clauses for program verification. CoRR, abs/2108.00739 (2021)
4. Lecture Notes in Computer Science;N Bjørner,2015
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);EM Clarke,2003