Solving Recursion-Free Horn Clauses over LI+UIF.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Browse the full APLAS paper archive.