@InProceedings{Giese02a,
  author        = {Martin Giese},
  title         = {A Model Generation Style Completeness Proof 
	           for Constraint Tableaux with Superposition},
  booktitle     = {Proc.\ Intl.\ Conf.\ on Automated Reasoning with 
                   Analytic Tableaux and Related Methods, 
                   Copenhagen, Denmark},
  editor        = {Uwe Egly and Christian G. Fermüller},
  pages         = {130--144},
  year          = {2002},
  series        = {LNCS},
  volume        = {2381},
  publisher     = {Springer-Verlag},
}