Reference. Stratified Negation in Limit Datalog Programs [kaminski-2018-stratified]

2018 · Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
https://arxiv.org/abs/1804.09473 
@article{kaminski-2018-stratified,
	title = {Stratified Negation in Limit Datalog Programs},
	author = {Kaminski, Mark and Cuenca Grau, Bernardo and Kostylev, Egor V. and Motik, Boris and Horrocks, Ian},
	year = {2018},
	url = {https://arxiv.org/abs/1804.09473},
	eprinttype = {arXiv},
	eprint = {1804.09473},
	journal = {arXiv preprint arXiv:1804.09473}
}