TY  - RPRT
TI  - Solving probability puzzles with logic toolkit
AU  - Adrian Groza
PY  - 2023
UR  - https://arxiv.org/abs/2305.11294
ID  - 2305.11294
ER  -