@Article{Letz:JAR-38-1-79,
  author =       "Reinhold Letz and Gernot Stenz",
  title =        "The Disconnection Tableau Calculus",
  journal =      "Journal of Automated Reasoning",
  volume =       "38",
  number =       "1--3",
  year =         "2007",
  pages =        "79--126",
  ee =           "http://dx.doi.org/10.1007/s10817-006-9048-8",
}