research data . Dataset . 2013

On Solving Universally Quantified Horn Clauses

Bjørner, Nikolaj; McMillan, Ken; Rybalchenko, Andrey;
  • Published: 01 Jan 1970
  • Publisher: Springer Berlin Heidelberg