Irène Guessarian Fixpoint strategies for deductive databases. 128-136 1988 35 Bulletin of the EATCS db/journals/eatcs/eatcs35.html#Guessarian88