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}
}