Smullyan ha escrito dos importantes libros con problemas de ajedrez retrospectivo: