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

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