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.

@article{LeoneR92:0,
  title = {Safe computation of the well-founded semantics of Datalog queries},
  author = {Nicola Leone and Pasquale Rullo},
  year = {1992},
  tags = {semantics, Datalog},
  researchr = {https://researchr.org/publication/LeoneR92%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Syst.},
  volume = {17},
  number = {1},
  pages = {17-31},
}