@inproceedings{WangWTZ10,
  title = "Tableau-based Forgetting in {ALC} Ontologies",
  author = "Zhe Wang and Kewen Wang and Rodney Topor and Xiaowang Zhang",
  year = "2010",
  booktitle = "Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010)",
  pages = "47-52",
}