Kolany, A. “A General Method of Solving Smullyan’s Puzzles”. Logic and Logical Philosophy, vol. 4, no. 4, Jan. 2003, pp. 97-103, doi:10.12775/LLP.1996.004.