@Inproceedings{EPTCS18.6, author = {Dowek, Gilles and Mu\~noz, C\'esar and Rocha, Camilo}, year = {2010}, title = {Rewriting Logic Semantics of a Plan Execution Language}, editor = {Klin, Bartek and Soboci\'nski, Pawe{\l}}, booktitle = {{\rm Proceedings Sixth Workshop on} Structural Operational Semantics, {\rm Bologna, Italy, August 31, 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {18}, publisher = {Open Publishing Association}, pages = {77-91}, doi = {10.4204/EPTCS.18.6}, }