TY - RPRT TI - A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases AU - Andreas Behrend PY - 2011 UR - https://arxiv.org/abs/1108.5451 ID - 1108.5451 ER -