@inproceedings {5068,
	title = {Bounded Model Checking With Description Logic Reasoning},
	booktitle = {International Conference on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)},
	year = {2007},
	doi = {10.1007/978-3-540-73099-6_7},
	author = {Shoham Ben-David and Richard J. Trefler and Grant Weddell}
}
