Yatin P. Saraiya On the Efficiency of Transforming Database Logic Programs. 87-109 1995 51 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss51.html#Saraiya95