TY  - RPRT
TI  - Achieving while maintaining: A logic of knowing how with intermediate constraints
AU  - Yanjun Li
AU  - Yanjing Wang
PY  - 2016
UR  - https://arxiv.org/abs/1610.05064
ID  - 1610.05064
ER  -