@article{Jiankun HE:870, author = {Jiankun HE,Xishun ZHAO}, title = {Reasoning about actions with loops via Hoare logic}, publisher = {Front. Comput. Sci.}, year = {2016}, journal = {Frontiers of Computer Science}, volume = {10}, number = {5}, eid = {870}, numpages = {18}, pages = {870}, keywords = {action language;plan generation;plan verification;loop-plan;Hoare logic}, url = {https://journal.hep.com.cn/fcs/EN/abstract/article_13549.shtml}, doi = {10.1007/s11704-016-5158-6} }