Michael Meier, Michael Schmidt, Fang Wei, Georg Lausen: Semantic query optimization in the presence of types. J. Comput. Syst. Sci. 79(6): 937-957 (2013)