@InBook{LetzStenz2001b,
  author = 	 {Reinhold Letz and Gernot Stenz},
  title = 	 {{H}andbook of {A}utomated {R}easoning},
  chapter = 	 {{M}odel {E}limination and {C}onnection {T}ableau {P}rocedures},
  publisher = 	 {Elsevier Science},
  editor = 	 {Andrei Voronkov},
  year = 	 {2001},
  volume = 	 {II},
  month = 	 {June},
  pages = 	 {2015-2114},
}