Thạnh, L. M.; Tuấn, T. C. Query Optimization in Deductive Databases by Magic-Sets Transformation. J. Comput. Sci. Cybern. 2012, 19, 233-242.