Lukowski, P. 2001. A formalisation of the "step forward - step backward" reasoning. Anales del Seminario de Historia de la Filosofía. 18, (ene. 2001), 109.