Carsten Lutz, Inanç Seylan, Frank Wolter: An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. KR 2012