| Title | Model Checking Using Description Logic |
| Publication Type | Journal Article |
| Year of Publication | 2010 |
| Authors | Ben-David, S., R. J. Trefler, and G. Weddell |
| Journal | Journal of Logic and Computation |
| Volume | 20 |
| Issue | 1 |
| Pagination | 111--131 |
| DOI | 10.1093/logcom/exn062 |
