@article{Sae15c,
title = "Restricted Predicates for Hypothetical Datalog",
journal = "Electronic Proceedings in Theoretical Computer Science",
volume = "200",
number = "0",
pages = "64--79",
year = "2015",
issn = "2075-2180",
doi = "10.4204/EPTCS.200.5",
author = "Fernando S\'aenz-P\'erez",
}