• Grail

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