A note on fixpoint techniques in data base recursive logic programsIrène GuessarianRAIRO-Theor. Inf. Appl., 22 1 (1988) 49-56DOI: https://doi.org/10.1051/ita/1988220100491
