@misc{cogprints466,
          volume = {85},
          number = {1},
           month = {July},
          author = {Mujdat Pakkan and Varol Akman},
           title = {HYPERSOLVER: A Graphical Tool for Commonsense Set Theory},
         journal = {Information Sciences: An International Journal},
           pages = {43--61},
            year = {1995},
        keywords = {ZF (Zermelo-Fraenkel) set theory, nonwellfounded sets (hypersets), AFA (anti-foundation axiom), the Solution Lemma, situation theory, HYPERSOLVER, Conway paradox.},
             url = {http://cogprints.org/466/},
        abstract = {This paper investigates an alternative set theory (due to Peter Aczel) called Hyperset Theory. Aczel uses a graphical representation for sets and thereby allows the representation of non-well-founded sets. A program, called HYPERSOLVER, which can solve systems of equations defined in terms of sets in the universe of this new theory is presented. This may be a useful tool for commonsense reasoning.}
}

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>