TY - RPRT TI - Polynomial Time Convergence of the Iterative Evaluation of Datalogo Programs AU - Sungjin Im AU - Benjamin Moseley AU - Hung Q. Ngo AU - Kirk Pruhs PY - 2024 UR - https://arxiv.org/abs/2312.14063 ID - 2312.14063 ER -