Enhancing Magic Sets with an Application to Ontological Reasoning. - ALVIANO, MARIO; LEONE, NICOLA; VELTRI, PIERFRANCESCO; ZANGARI, JESSICA (Theory & Practice of Logic Programming, 2019)