@InProceedings{CorrellStenz2005,
  author =       "Philipp Correll and Gernot Stenz",
  title =        "{P}roof {O}utput and {T}ransformation for {D}isconnection {T}ableaux",
  pages =        "312-317",
  editor =       "Bernhard Beckert",
  booktitle =    "Proceedings of {TABLEAUX}-2005, Koblenz, Germany",
  month =        sep,
  year =         "2005",
  series =       "Lecture Notes in Artificial Intelligence",
  volume =       "3702",
  publisher =    "{S}pringer, {B}erlin",
}