"BliStrTune: Hierarchical Invention of Theorem Proving Strategies."

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