Solving probability puzzles with logic toolkit

Full citation

"Solving probability puzzles with logic toolkit", Groza Adrian, (), , , DOI: , 2023.