Uniform Interpolation for ALC Revisited - Wang, Z; Wang, K; Topor, R; Pan, J; Antoniou, G (Proceedings of the 22nd Australasian Conference on Artificial Intelligence, 2009)