SantosP03'

BibTeX

@inproceedings{DBLP:conf/icail/SantosP03,
  author    = {Filipe Santos and
               Olga Pacheco},
  title     = {Specifying and Reasoning with Institutional Agents},
  booktitle = {ICAIL},
  year      = {2003},
  pages     = {162-170},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}