Perrotin, E. A Logical Analysis of Hanabi. AAAI 2025, 39, 15118-15125.