Kolany, A. (2003). A general method of solving Smullyan’s puzzles. Logic and Logical Philosophy, 4(4), 97–103. https://doi.org/10.12775/LLP.1996.004