Situation Theory and ApplicationsJon Barwise, Jean Mark Gawron, Gordon Plotkin · First published 1992Open the Tome