Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| EPR-based bounded model checking at word level | 3 | 0.44 | 2012 |
| iProver-Eq: an instantiation-based theorem prover with equality | 10 | 0.47 | 2010 |
| Labelled unit superposition calculi for instantiation-based reasoning | 2 | 0.37 | 2010 |