Semantic optimisation in datalog programs - Wassell, Mark P (Department of Computer Science, 2015)
Bibliography: leaves 138-142.