| Title | Bounded Model Checking With Description Logic Reasoning |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Ben-David, S., R. J. Trefler, and G. Weddell |
| Conference Name | International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX) |
| DOI | 10.1007/978-3-540-73099-6_7 |
