Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller. A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikolaos M. Avouris, editors, ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings. Volume 178 of Frontiers in Artificial Intelligence and Applications, pages 725-726, IOS Press, 2008. [doi]
@inproceedings{FaddoulFHM08:0, title = {A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]}, author = {Jocelyne Faddoul and Nasim Farsinia and Volker Haarslev and Ralf Möller}, year = {2008}, doi = {10.3233/978-1-58603-891-5-725}, url = {http://dx.doi.org/10.3233/978-1-58603-891-5-725}, researchr = {https://researchr.org/publication/FaddoulFHM08%3A0}, cites = {0}, citedby = {0}, pages = {725-726}, booktitle = {ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings}, editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikolaos M. Avouris}, volume = {178}, series = {Frontiers in Artificial Intelligence and Applications}, publisher = {IOS Press}, isbn = {978-1-58603-891-5}, }