Riccardo Rosati.
In Proceedings of the Ninth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2000), Lecture Notes in Artificial Intelligence, volume 1847, pages 383-397, Springer, 2000. ISBN 978-3-540-67697-3.
@String{TABLEAUX-00 = "Proceedings of the Ninth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX~2000)"} @String{SV = "Springer"} @String{LNAI = "Lecture Notes in Artificial Intelligence"} @Inproceedings{Rosa00b, author = "Riccardo Rosati", title = "Tableau calculus for only knowing and knowing at most", booktitle = TABLEAUX-00, pages = "383--397", publisher = SV, series = LNAI, volume = 1847, year = 2000, isbn = "978-3-540-67697-3", }