3. Vampire@IJCAR 2016: Coimbra, Portugal

maintained by Schloss Dagstuhl LZI at University of Trier