@misc{indiciae4b312a0941da,
  title = {Efficient Tabling of Structured Data with Enhanced Hash-Consing},
  author = {Neng-Fa Zhou and Christian Theil Have},
  year = {2012},
  url = {https://arxiv.org/abs/1210.1611},
  note = {Source identifier: 1210.1611}
}