"Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, ..."

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