"Extending E Prover with Similarity Based Clause Selection Strategies."

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