• OTTER

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

  • Referenced in 26 articles [sw36325]
  • Programming with sets. An introduction to SETL. of...