@misc{indiciae3c8a75c62e91,
  title = {The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty},
  author = {Fabrizio Riguzzi and Terrance Swift},
  year = {2011},
  doi = {10.1017/s147106841100010x},
  url = {https://arxiv.org/abs/1107.4747},
  note = {Source identifier: 1107.4747}
}