TY  - GEN
AU  - Piotr,L.
TI  - A Formalisation of the "step Forward-step backward" Reasoning
ER  -