L. M. Thạnh and T. C. Tuấn, “Query optimization in deductive databases by magic-sets transformation”., J. Comput. Sci. Cybern., vol. 19, no. 3, pp. 233–242, Jul. 2012.