@Bibtex-file{Ai/SNePS.bib,
  title =        "The {SN}e{PS} Bibliography",
  author =       "SNePS Research Group",
  email =        "shapiro@cse.buffalo.edu",
  address =      "Department of Computer Science and Engineering\\ State
                 University of New York at Buffalo\\ 226 Bell Hall, Box
                 602000\\ Buffalo, NY 14260-2000\\ USA",
  abstract =     "SNePS is the Semantic Network Processing System. Its
                 first version was designed by Stuart C. Shapiro in the
                 early seventies, and it has been developed since by
                 Shapiro et al. (see the `bibliography.ps' file in the
                 distribution for a list of SNePS related publications).
                 SNePS is the implementation of a fully intensional
                 theory of propositional knowledge representation and
                 reasoning.",
}