Horn Clause Solvers for Program Verification
Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram
Fields of Logic and Computation II, 2015, Vol.9300, p.24-51 [Periódico revisado por pares]Switzerland: Springer International Publishing AG
Texto completo disponível