Kubota, Y., and R. Levine. “Against Successive cyclicity:: A Proof-Theoretic Account of Extraction Pathway Marking”. Journal of Language Modelling, vol. 13, no. 1, June 2025, pp. 99–165, doi:10.15398/jlm.v13i1.339.