TY - RPRT TI - Automatic Inference of Minimalist Grammars using an SMT-Solver AU - Sagar Indurkhya PY - 2019 UR - https://arxiv.org/abs/1905.02869 ID - 1905.02869 ER -