TY - RPRT TI - Semi-Centennial REDUCE AU - Arthur C. Norman AU - Stephen M. Watt PY - 2025 UR - https://arxiv.org/abs/2505.01103 ID - 2505.01103 ER -