@inproceedings{DBLP:conf/aips/BofillEV16,
  author    = {Miquel Bofill and
               Joan Espasa and
               Mateu Villaret},
  title     = {A Semantic Notion of Interference for Planning Modulo Theories},
  booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016.},
  pages     = {56--64},
  year      = {2016},
  crossref  = {DBLP:conf/aips/2016},
  url       = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/12989},
  timestamp = {Wed, 08 Jun 2016 12:49:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aips/BofillEV16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/aips/2016,
  editor    = {Amanda Jane Coles and
               Andrew Coles and
               Stefan Edelkamp and
               Daniele Magazzeni and
               Scott Sanner},
  title     = {Proceedings of the Twenty-Sixth International Conference on Automated
               Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/Library/ICAPS/icaps16contents.php},
  isbn      = {978-1-57735-757-5},
  timestamp = {Wed, 08 Jun 2016 12:49:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aips/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}