- Referenced in 316 articles
- Our current automated deduction system Otter is designed...
- Referenced in 716 articles
- Spin is a popular open-source software tool...
- Referenced in 108 articles
- This software promotes some general and useful tools...
- Referenced in 4 articles
- CAMA: A Multi-Valued Satisfiability Solver This paper...
- Referenced in 63 articles
- The 2-tuple linguistic model. Computing with words...
- Referenced in 14 articles
- A distributed and learning equational prover DISCOUNT. The...
- Referenced in 6 articles
- A semantically guided first-order theorem prover CLIN...