@inproceedings{704,
  author = {David Toman},
  title = {Computing the Well-Founded Semantics for Constraint Extensions Of Datalog},
  year = {1997},
  journal = {Computing the Well-Founded Semantics for Constraint Extensions Of Datalog},
  doi = {10.1007/3-540-62501-1_25},
}