Chiaki Sakama Hidenori Itoh Partial Evaluation of Queries in Deductive Databases. 249-258 1988 6 New Generation Comput. 2&3 db/journals/ngc/ngc6.html#SakamaI88