Stratified negation in limit datalog programs (IJCAI 2018, 2018)

(untitled) - Kaminski, M; Cuenca Grau, B; Kostylev, E; Motik, B; Horrocks, I