• SETHEO

  • Referenced in 122 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • METEOR

  • Referenced in 16 articles [sw26327]
  • METEORs: High Performance Theorem Provers using Model Elimination...
  • RRL

  • Referenced in 55 articles [sw28904]
  • An overview of Rewrite Rule Laboratory (RRL). RRL...