• Grail

  • Referenced in 7 articles [sw24229]
  • Grail: An automated proof assistant for categorial grammar...
  • CatLog3

  • Referenced in 3 articles [sw29641]
  • Parsing/theorem-proving for logical grammar CatLog3. extit{CatLog3} is...