Solving Smullyan puzzles with formal systems - Costa, José Félix; Poças, Diogo (2017)