"Automated Invention of Strategies and Term Orderings for Vampire."

Jan Jakubuv, Martin Suda, Josef Urban (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics