Martin Slota, João A. Leite:
Operational Semantics for EVOLP.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-091
@inproceedings{REWERSE-RP-2007-091, author = {Martin Slota and João A. Leite}, title = {Operational Semantics for EVOLP}, booktitle = {Proceedings of Eighth Workshop on Computational Logic in Multi-Agent Systems, Porto, Portugal (10th--11th September 2007)}, year = {2007}, pages = {118--133}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-091} }