This site has been permanently archived. This is a static copy provided by the University of Southampton.

Pakkan, Mujdat and Akman, Varol (1995) HYPERSOLVER: A Graphical Tool for Commonsense Set Theory. [Journal (Paginated)]