@inproceedings{CIKM-2011-ChengQ,
	author        = "Xiaojun Cheng and Guilin Qi",
	booktitle     = "{Proceedings of the 20th ACM International Conference on Information and Knowledge Management}",
	doi           = "10.1145/2063576.2063985",
	isbn          = "978-1-4503-0717-8",
	pages         = "2433--2436",
	publisher     = "{ACM}",
	title         = "{An algorithm for axiom pinpointing in EL+ and its incremental variant}",
	year          = 2011,
}