Richard Gault, Iain A. Stewart On a hierarchy involving transitive closure logic and existential second-order quantification. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2001, v:9, n:6, pp:- [Journal]
Gerhard Jäger Lambek Grammars as Combinatory Categorial Grammars. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2001, v:9, n:6, pp:- [Journal]