Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser.

Sagar Indurkhya

Browse the full CoNLL paper archive.