Results 1 to 1 of 1
Sort by:

  • Grail

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