Keyword:Constrained Horn Clauses

Papers
Collaborative Inference of Combined Invariants Yurii Kostyukov, Dmitry Mordvinov and Grigory Fedyukovich In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Reasoning About Data Trees Using CHCs Marco Faella and Gennaro Parlato EasyChair Preprint no. 8615
Synchronizing Constrained Horn Clauses Dmitry Mordvinov and Grigory Fedyukovich In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning