@misc{W1968513265,
  author = {Allen Van Gelder and Kenneth A. Ross and John S. Schlipf},
  title = {The well-founded semantics for general logic programs},
  year = {1991},
  howpublished = {Journal of the ACM},
  doi = {https://doi.org/10.1145/116825.116838}
}