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