Solving existentially quantified horn clauses. (2013)

by T A Beyene, C Popeea, A Rybalchenko
Venue:In CAV,