Safe computation of the well-founded semantics of Datalog queries

Nicola Leone, Pasquale Rullo. Safe computation of the well-founded semantics of Datalog queries. Inf. Syst., 17(1):17-31, 1992.

Abstract

Abstract is missing.