@InProceedings{LetzStenz2004,
  author = 	 {Reinhold Letz and Gernot Stenz},
  title = 	 {{G}eneralised {H}andling of {V}ariables in {D}isconnection {T}ableaux},
  booktitle = 	 {Proceedings of the International Joint Conference on
                   Automated Reasoning ({IJCAR}-2004), Cork, Ireland},
  year = 	 {2004},
  series = 	 {LNAI},
  volume = 	 {3097},
  pages =        {289--306},
  publisher    = {{S}pringer, {B}erlin},
}