LUKOWSKI, P. A formalisation of the "step forward - step backward" reasoning. Anales del Seminario de Historia de la Filosofía, v. 18, p. 109, 1 ene.2001.