On recursion-free Horn clauses and Craig interpolation

Overview of attention for article published in Formal Methods in System Design, December 2014

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 241 followers.

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