@inproceedings{promas12,
title = {Typing Multi-Agent Programs in {simpAL}},
author = {Ricci, Alessandro AND Santi, Andrea},
booktitle = {Proceedings of the Int. Workshop on Programming Multi-Agent Systems (ProMAS'12)},
address = {Valencia, Spain},
year = {2012}
}