@InProceedings{Stenz2002,
  author = 	 {Gernot Stenz},
  title = 	 {{DCTP} 1.2 -- System Abstract},
  booktitle = 	 {Proceedings of the International Conference on
                   Automated Reasoning with Analytic Tableaux and Related
                   Methods ({TABLEAUX}-2002), Copenhagen, Denmark},
  year = 	 {2002},
  series = 	 {LNAI},
  editor = 	 {Uwe Egly and Christian Ferm\"{u}ller},
  month = 	 jul,
  publisher    = {{S}pringer, {B}erlin},
  note =         {to appear},
}