A cut-free sequent calculus for elementary situated reasoning /
Seligman, Jerry.
University of Edinburgh.Human Communication Research Centre.
Economic and Social Research Council (Great Britain)
Edinburgh : Human Communication Research Centre,
1991.
HCRC is supported by the Economic & Social Research Council.
Includes bibliographical references.