Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Selecting the Selection. | 6 | 0.46 | 2016 |
| Selecting the Selection. | 0 | 0.34 | 2016 |
| Playing in the grey area of proofs | 18 | 0.74 | 2012 |
| Vinter: A Vampire-Based Tool for Interpolation. | 2 | 0.38 | 2012 |
| Preprocessing techniques for first-order clausification. | 4 | 0.41 | 2012 |
| μZ- An Efficient Engine for Fixed Points with Constraints. | 8 | 0.47 | 2011 |
| Evaluation of automated theorem proving on the Mizar mathematical library | 20 | 1.22 | 2010 |