@misc{indiciae5fad275ce4a0,
  title = {Achieving while maintaining: A logic of knowing how with intermediate constraints},
  author = {Yanjun Li and Yanjing Wang},
  year = {2016},
  url = {https://arxiv.org/abs/1610.05064},
  note = {Source identifier: 1610.05064}
}