Time-and-Space-Efficient Weighted Deduction Jason Eisner author 2023 text journal article Transactions of the Association for Computational Linguistics continuing MIT Press Cambridge, MA periodical academic journal eisner-2023-time 10.1162/tacl_a_00588 https://aclanthology.org/2023.tacl-1.54/ 2023 11 960 973