@inproceedings{SAC-1994-WassermanS,
	author        = "Howard C. Wasserman and Zhizhang Shen",
	booktitle     = "{Proceedings of the Ninth Symposium on Applied Computing}",
	doi           = "10.1145/326619.326749",
	pages         = "286--291",
	publisher     = "{ACM}",
	title         = "{The locality principle and completeness in logic programming}",
	year          = 1994,
}