TY - RPRT TI - A simple and efficient explicit parallelization of logic programs using low-level threading primitives AU - Diptikalyan Saha AU - Paul Fodor PY - 2009 UR - https://arxiv.org/abs/0912.3510 ID - 0912.3510 ER -