A Formal Specification of dMARS

@incollection{dmars-atal1998,
   author = {d'Inverno, Mark and Kinny, David and Luck, Michael and Wooldridge, Michael},
   booktitle = {Intelligent Agents IV Agent Theories, Architectures, and Languages},
   doi = {10.1007/BFb0026757},
   eisbn = {978-3-540-69696-4},
   isbn = {978-3-540-64162-9},
   issn = {0302-9743},
   note = {4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 24--26, 1997 Proceedings},
   pages = {155--176},
   publisher = {Springer Berlin Heidelberg},
   series = {Lecture Notes in Computer Science},
   title = {A Formal Specification of {dMARS}},
   url = {http://link.springer.com/10.1007/BFb0026757},
   volume = 1365,
   year = 1998
}