"The Projection Problem for EL Actions."

Hongkai Liu, Carsten Lutz, Maja Milicic (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics