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