Lukowski, P. A formalisation of the "step forward - step backward" reasoning. An. Semin. Hist. Filos. 2001, 18, 109.