@inproceedings {5007,
	title = {Computing the Well-Founded Semantics for Constraint Extensions Of Datalog},
	booktitle = {International Symposium on the Applications of Constraint Databases (CDB)},
	year = {1997},
	doi = {10.1007/3-540-62501-1_25},
	author = {David Toman}
}
