DMCA

Solving existentially quantified Horn clauses (2013)

by Tewodros A. Beyene , Corneliu Popeea , Andrey Rybalchenko
Venue:IN CAV
Citations:22 - 5 self