TY - RPRT TI - Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog AU - Thom Fruehwirth PY - 2025 UR - https://arxiv.org/abs/2503.10416 ID - 2503.10416 ER -