@inproceedings{627,
  author = {Shoham Ben-David and Richard Trefler and Grant Weddell},
  title = {Model Checking the Basic Modalities of CTL With Description Logic},
  year = {2006},
  journal = {Model Checking the Basic Modalities of CTL With Description Logic},
  url = {http://ceur-ws.org/Vol-189/submission_33.pdf},
}