A. Kolany, “A general method of solving Smullyan’s puzzles”, LLP, vol. 4, no. 4, pp. 97–103, Jan. 2003.