@inproceedings{625,
  author = {Shoham Ben-David and Richard Trefler and Grant Weddell},
  title = {Modal vs. Propositional Reasoning for Model Checking With Description Logics},
  year = {2007},
  journal = {Modal vs. Propositional Reasoning for Model Checking With Description Logics},
  url = {http://ceur-ws.org/Vol-250/paper_65.pdf},
}