@inproceedings{KKR06a,
  number="4130",
  month="August",
  author="Dexter Kozen and Christoph Kreitz and Eva Richter",
  series="Lecture Notes in AI",
  booktitle="Proc. 3rd Int. Joint Conf. Automated Reasoning (IJCAR'06)",
  city="Seattle, WA",
  title="Automating Proofs in Category Theory",
  publisher="Springer",
  pages="392--407",
  year="2006"
}