@InProceedings{Giese01a,
  author        = {Martin Giese},
  title         = {Incremental {C}losure of {F}ree {V}ariable {T}ableaux},
  booktitle     = {Proc.\ Intl.\ Joint Conf.\ on Automated Reasoning,
                  Siena, Italy},
  editors       = {Rajeev Gor{\'e} and Alexander Leitsch and Tobias Nipkow},
  pages         = {545-560}
  year          = {2001},
  series        = {LNCS},
  number        = {2083},
  publisher     = {Springer-Verlag},
}