241 followers
On recursion-free Horn clauses and Craig interpolation. - Philipp Rümmer, Hossein Hojjat, Viktor Kuncak http://t.co/85VykinrZY
On recursion-free Horn clauses and Craig interpolation. - Philipp Rümmer, Hossein Hojjat, Viktor Kuncak http://t.co/85VykinrZY