DovierFP11'

@inproceedings{DBLP:conf/iclp/DovierFP11,
  author    = {Agostino Dovier and
               Andrea Formisano and
               Enrico Pontelli},
  title     = {BAAC: A Prolog System for Action Description and Agents
               Coordination},
  booktitle = {ICLP (Technical Communications)},
  year      = {2011},
  pages     = {187-197},
  ee        = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.187},
  crossref  = {DBLP:conf/iclp/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iclp/2011,
  editor    = {John P. Gallagher and
               Michael Gelfond},
  title     = {Technical Communications of the 27th International Conference
               on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington,
               Kentucky, USA},
  booktitle = {ICLP (Technical Communications)},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series    = {LIPIcs},
  volume    = {11},
  year      = {2011},
  isbn      = {978-3-939897-31-6},
  ee        = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}