- Glyn Morrill, Oriol Valentín, “Spurious Ambiguity and Focalization”, Computational Linguistics, 44, № 2, 2018, 285

- Glyn Morrill, Stepan Kuznetsov, Max Kanovich, Andre Scedrov, 10950, Formal Grammar 2018, 2018, 84

- Glyn Morrill, “Parsing/Theorem-Proving for Logical Grammar CatLog3”, J of Log Lang and Inf, 28, № 2, 2019, 183

- Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, 10900, Automated Reasoning, 2018, 228
