Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser Sagar Indurkhya author 2022-12 text Proceedings of the 26th Conference on Computational Natural Language Learning (CoNLL) Antske Fokkens editor Vivek Srikumar editor Association for Computational Linguistics Abu Dhabi, United Arab Emirates (Hybrid) conference publication indurkhya-2022-parsing 10.18653/v1/2022.conll-1.12 https://aclanthology.org/2022.conll-1.12/ 2022-12 157 175