Dutch Grammar and Processing: A Case Study in TLG. - Glyn Morrill; Oriol Valentín; Mario Fadda (TbiLLC, 2007)

Proof Nets for Basic Discontinuous Lambek Calculus. - Glyn Morrill; Mario Fadda (J. Log. Comput., 2008)

The Displacement Calculus. - Glyn Morrill; Oriol Valentín; Mario Fadda (J. Log. Lang. Inf., 2011)