Typing Multi-agent Programs in simpAL

@incollection{simpal-promasX,
   address = {Berlin, Heidelberg},
   apice = {SimpalPromasX},
   author = {Ricci, Alessandro and Santi, Andrea},
   booktitle = {Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 2012, Revised Selected Papers},
   doi = {10.1007/978-3-642-38700-5_9},
   editor = {Dastani, Mehdi and H\"{u}bner, Jomi F. and Logan, Brian},
   isbn = {978-3-642-38700-5},
   pages = {138--157},
   publisher = {Springer Berlin Heidelberg},
   series = {Lecture Notes in Computer Science},
   title = {Typing Multi-agent Programs in {simpAL}},
   volume = 7837,
   year = 2013
}