View of A formalisation of the "step forward - step backward" reasoning.

Return to Issue Details A formalisation of the "step forward - step backward" reasoning. Download Download PDF