"Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, ..."

Laura Kovács, Andrei Voronkov (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics