@Bibtex-file{Theory/kstokker.bib,
  title =        "Papers in category theory and other areas",
  author =       "Karel Stokkermans",
  address =      "RISC-Linz\\Johannes-Kepler University Linz\\Austria",
  email =        "Karel.Stokkermans@risc.uni-linz.ac.at",
  supported =    "gone",
  keywords =     "category theory, rewriting, computer algebra",
  abstract =     "This is just a collection of papers I encountered in
                 my quest for finding a categorical model for
                 critical-pair/completion procedures. It is not even
                 nearly exhaustive in any subject, but concentrates
                 mainly on topics in category theory, rewriting, and
                 computer algebra.",
}