TY  - RPRT
TI  - Reasoning for Moving Blocks Problem: Formal Representation and Implementation
AU  - P. A. Wałȩga
PY  - 2013
UR  - https://arxiv.org/abs/1307.7405
ID  - 1307.7405
ER  -