@misc{indiciaebc548b7b6c59,
  title = {Proof System for Plan Verification under 0-Approximation Semantics},
  author = {Xishun Zhao and Yuping Shen},
  year = {2011},
  url = {https://arxiv.org/abs/1108.5943},
  note = {Source identifier: 1108.5943}
}