Kubota, Y., & Levine, R. (2025). Against successive cyclicity:: A proof-theoretic account of extraction pathway marking. Journal of Language Modelling, 13(1), 99–165. https://doi.org/10.15398/jlm.v13i1.339