Inferring Minimalist Grammars with an SMT-Solver Sagar Indurkhya author 2020-01 text Proceedings of the Society for Computation in Linguistics 2020 Allyson Ettinger editor Gaja Jarosz editor Joe Pater editor Association for Computational Linguistics New York, New York conference publication indurkhya-2020-inferring https://aclanthology.org/2020.scil-1.53/ 2020-01 457 460