@inproceedings{WangWTPA09b,
  title = "Uniform Interpolation for {ALC} Revisited",
  author = "Zhe Wang and Kewen Wang and Rodney Topor and Jeff Z. Pan and Grigoris Antoniou",
  year = "2009",
  booktitle = "Proceedings of the 22nd Australasian Conference on Artificial Intelligence",
  pages = "528-537",
}