Unfold/Fold Transformations For Definite Clause Programs. - Manolis Gergatsoulis; Maria Katzouraki (PLILP, 1994)

On Transformations into Linear Database Logic Programs. - Foto N. Afrati; Manolis Gergatsoulis; Maria Katzouraki (Ershov Memorial Conference, 1996)