Tomasz Imielinski Intelligent Query Answering in Rule Based Systems. 229-257 1987 4 J. Log. Program. 3 db/journals/jlp/jlp4.html#Imielinski87