@InProceedings{ HaehnleBeckert99,
author = {Reiner H\"ahnle and Bernhard Beckert},
title = {Proof Confluent Tableau Calculi --- Abstract of a Tutorial},
booktitle = {International Conference on Theorem
Proving with Analytic Tableaux and Related Methods ({TABLEAUX} '99)},
venue = {Saratoga Springs, {NY}, {USA}},
publisher = {Springer},
series = {LNCS},
volume = {1617},
pages = {34--35},
year = {1999}
}