@misc{indiciae2e0039ae0a98,
  title = {A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases},
  author = {Andreas Behrend},
  year = {2011},
  url = {https://arxiv.org/abs/1108.5451},
  note = {Source identifier: 1108.5451}
}