Stem vampir$ (all stems)

4 papers:

CAV-2013-KovacsV #first-order #proving #theorem proving

First-Order Theorem Proving and Vampire (LK, AV), pp. 1–35.

TACAS-2011-HoderKV #generative #invariant

Invariant Generation in Vampire (KH, LK, AV), pp. 60–64.

IJCAR-2010-HoderKV

Interpolation and Symbol Elimination in Vampire (KH, LK, AV), pp. 188–195.

IJCAR-2001-RiazanovV

Vampire 1.1 (System Description) (AR, AV), pp. 376–380.