@InProceedings{Correll:TABLEAUX05-312,
  author =       "Philipp Correll and Gernot Stenz",
  title =        "Proof Output and Transformation for Disconnection
                 Tableaux",
  year =         "2005",
  pages =        "312--317",
  ee =           "http://dx.doi.org/10.1007/11554554_24",
  editor =       "Bernhard Beckert",
  booktitle =    "Automated Reasoning with Analytic Tableaux and Related
                 Methods, International Conference, {TABLEAUX} 2005,
                 Koblenz, Germany, September 14--17, 2005, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3702",
  ISBN =         "3-540-28931-3",
  URL =          "http://www4.in.tum.de/~stenzg/documents/tab2005-1.pdf",
}