1. Semantics of Proofs for Noncommutative Linear Logic;Abrusci,1996
2. On the order of words;Ades;Ling., Philos.,1982
3. Die syntaktische Konnexität;Ajdukiewicz;Studia Philos,1935
4. Lambek calculus and its relational semantics: completeness and incompleteness;Andréka;J. Logic Lang. Inf.,1994
5. Focussing and proof construction;Andreoli;Ann. Pure Appl. Logic,2001