Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter: Query Rewriting under EL TBoxes: Efficient Algorithms. Description Logics 2014: 197-208