Lukowski P. (2001). A formalisation of the "step forward - step backward" reasoning. Anales del Seminario de Historia de la Filosofía, 18, 109. https://revistas.ucm.es/index.php/ASHF/article/view/ASHF0101110109A