Christian Pape, Reiner Hähnle. Restart Tableaux with Selection Function. In Georg Gottlob, Alexander Leitsch, Daniele Mundici, editors, Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC 97, Vienna, Austria, August 25-29, 1997, Proceedings. Volume 1289 of Lecture Notes in Computer Science, pages 219-232, Springer, 1997.
@inproceedings{PapeH97,
title = {Restart Tableaux with Selection Function},
author = {Christian Pape and Reiner Hähnle},
year = {1997},
researchr = {https://researchr.org/publication/PapeH97},
cites = {0},
citedby = {0},
pages = {219-232},
booktitle = {Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC 97, Vienna, Austria, August 25-29, 1997, Proceedings},
editor = {Georg Gottlob and Alexander Leitsch and Daniele Mundici},
volume = {1289},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63385-5},
}