Nair, Premchand S (1989) Optimization of logic queries in knowledge base systems. PhD thesis, Concordia University.