@article {4003,
	title = {Model Checking Using Description Logic},
	journal = {Journal of Logic and Computation},
	volume = {20},
	year = {2010},
	pages = {111--131},
	doi = {10.1093/logcom/exn062},
	author = {Shoham Ben-David and Richard J. Trefler and Grant Weddell}
}
