Kubota, Yusuke, and Robert Levine. 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.