Alberto Marchetti-Spaccamela Antonella Pelaggi Domenico Saccà Comparison of Methods for Logic-Query Implementation. 333-360 1991 10 J. Log. Program. 1/2/3&4 db/journals/jlp/jlp10.html#Marchetti-SpaccamelaPS91