TY - RPRT TI - Mathematical Definition and Systematization of Puzzle Rules AU - Itsuki Maeda AU - Yasuhiro Inoue PY - 2025 UR - https://arxiv.org/abs/2501.01433 ID - 2501.01433 ER -