Kolany, A. A General Method of Solving Smullyan’s Puzzles. LLP 2003, 4, 97-103.