@misc{indiciae9d7a44b2259b,
  title = {Tabling with Sound Answer Subsumption},
  author = {Alexander Vandenbroucke and Maciej Piróg and Benoit Desouter and Tom Schrijvers},
  year = {2016},
  url = {https://arxiv.org/abs/1608.00787},
  note = {Source identifier: 1608.00787}
}