@INPROCEEDINGS{sae13c-ictai13,
  author={F. S\'aenz-P\'erez},
   title = "Implementing Tabled Hypothetical Datalog",
   booktitle = "Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'13",
  pages = {596--601},
  month={November},
  year={2013}
  }