Situation theory and its applications / - Cooper, Robin,; Mukai, Kuniaki,; Perry, John, (Center for the Study of Language and Information,, 1990)