1. Monotonic semantic interpretation;Alshawi,1992
2. An efficient algorithm for the configuration problem of dominance graphs;Althaus,2001
3. Predicate logic unplugged;Bos,1996
4. A first-order axiomatization of the theory of finite trees;Backofen;J. Logic Lang. Inform.,1995
5. A. Copestake, D. Flickinger, I. Sag, Minimal recursion semantics. An introduction, manuscript, ftp://csli-ftp.stanford.edu/linguistics/sag.ps, 1997