Modular stratification and magic sets for DATALOG programs with negation. Ross, K. A In PODS '90: Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, pages 161–171, New York, NY, USA, 1990. ACM.
doi  bibtex   
@inproceedings{Ross:90,
	address = {New York, NY, USA},
	title = {Modular stratification and magic sets for {DATALOG} programs with negation},
	isbn = {0-89791-352-3},
	doi = {http://doi.acm.org/10.1145/298514.298558},
	booktitle = {{PODS} '90: {Proceedings} of the ninth {ACM} {SIGACT}-{SIGMOD}-{SIGART} symposium on {Principles} of database systems},
	publisher = {ACM},
	author = {Ross, Kenneth A},
	year = {1990},
	pages = {161--171},
}

Downloads: 0