Kubota, Yusuke, and Robert Levine. “Against Successive cyclicity:: A Proof-Theoretic Account of Extraction Pathway Marking”. Journal of Language Modelling 13, no. 1 (June 30, 2025): 99–165. Accessed July 4, 2025. https://jlm.ipipan.waw.pl/index.php/JLM/article/view/339.