TY - RPRT TI - An Algebraic Approach to Knowledge Bases Informational Equivalence AU - B. Plotkin AU - T. Plotkin PY - 2003 UR - https://arxiv.org/abs/math/0312428 ID - math/0312428 ER -