Uniform Interpolation for ALC Revisited - Wang, Z; Wang, K; Topor, R; Pan, J; Antoniou, G (2009)