| Title | Model Checking the Basic Modalities of CTL With Description Logic |
| Publication Type | Conference Paper |
| Year of Publication | 2006 |
| Authors | Ben-David, S., R. J. Trefler, and G. Weddell |
| Conference Name | International Workshop on Description Logics (DL) |
| URL | http://ceur-ws.org/Vol-189/submission_33.pdf |
