@article{eisner-2023-time,
    title = "Time-and-Space-Efficient Weighted Deduction",
    author = "Eisner, Jason",
    journal = "Transactions of the Association for Computational Linguistics",
    volume = "11",
    year = "2023",
    address = "Cambridge, MA",
    publisher = "MIT Press",
    url = "https://aclanthology.org/2023.tacl-1.54/",
    doi = "10.1162/tacl_a_00588",
    pages = "960--973"
}