Bottom-up evaluation of HiLog in the context of deductive database systems - Luppnow, Andrew James (Department of Computer Science, 2014)
Bibliography: leaves 127-130.