Stratified negation in limit datalog programs - Kaminski, M; Cuenca Grau, B; Kostylev, E; Motik, B; Horrocks, I (IJCAI 2018, 2018)