@InProceedings{LetzStenz2001c,
  author = 	 {Reinhold Letz and Gernot Stenz},
  title = 	 {{P}roof and {M}odel {G}eneration with {D}isconnection {T}ableaux},
  booktitle = 	 {Proceedings of the 8th International Conference on Logic
                 Programming and Automated Reasoning ({LPAR}-2001), La Habana, Cuba},
  year = 	 {2001},
  pages = 	 {142--156},
  volume = 	 {2250},
  series = 	 {LNAI},
  editor = 	 {Robert Nieuwenhuis and Andrei Voronkov},
  month = 	 dec,
  publisher = {{S}pringer, {B}erlin},
}