@article {3970,
	title = {Memoing Evaluation for Constraint Extensions of Datalog},
	journal = {Constraints - An International Journal},
	volume = {2},
	year = {1997},
	pages = {337--359},
	doi = {10.1023/A:1009799613661},
	author = {David Toman}
}
