Ashraf, Karima (1996) Recursive query optimization in deductive databases via proof-tree transformations. Masters thesis, Concordia University.