@inproceedings {5067,
	title = {Modal vs. Propositional Reasoning for Model Checking With Description Logics},
	booktitle = {International Workshop on Description Logics (DL)},
	year = {2007},
	url = {http://ceur-ws.org/Vol-250/paper_65.pdf},
	author = {Shoham Ben-David and Richard J. Trefler and Grant Weddell}
}
