- Seligman, J. (1991). A cut-free sequent calculus for elementary situated reasoning. Technical Report HCRC-RP 22, HCRC, Edinburgh.
- Seligman, J. (1992). Situated consequence for elementary situation theory. Logic Group Preprint IULG-92-16, Indiana University.
- Seligman, J. (1997). The logic of correct description. In M. de Rijke (Ed.), Advances in Intensional Logic, pp. 107-135. Applied Logic Series, Kluwer.

and that *all* of them contain technical errors, which are not documented but which are corrected in the sequel,(the sequel to the 1997 paper is yet unpublished).

} }