TY  - RPRT
TI  - Stratified Negation in Limit Datalog Programs
AU  - Mark Kaminski
AU  - Bernardo Cuenca Grau
AU  - Egor V. Kostylev
AU  - Boris Motik
AU  - Ian Horrocks
PY  - 2018
UR  - https://arxiv.org/abs/1804.09473
ID  - 1804.09473
ER  -