"Hierarchical invention of theorem proving strategies."

Jan Jakubuv, Josef Urban (2018)
maintained by Schloss Dagstuhl LZI, founded at University of Trier