DBLP BibTeX Record 'conf/ijcai/PatriziLGG11'

@inproceedings{DBLP:conf/ijcai/PatriziLGG11,
  author    = {Fabio Patrizi and
               Nir Lipovetzky and
               Giuseppe {De Giacomo} and
               Hector Geffner},
  title     = {Computing Infinite Plans for LTL Goals Using a Classical
               Planner},
  booktitle = {IJCAI},
  year      = {2011},
  pages     = {2003-2008},
  ee        = {http://ijcai.org/papers11/Papers/IJCAI11-334.pdf},
  crossref  = {DBLP:conf/ijcai/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ijcai/2011,
  editor    = {Toby Walsh},
  title     = {IJCAI 2011, Proceedings of the 22nd International Joint
               Conference on Artificial Intelligence, Barcelona, Catalonia,
               Spain, July 16-22, 2011},
  booktitle = {IJCAI},
  publisher = {IJCAI/AAAI},
  year      = {2011},
  isbn      = {978-1-57735-516-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}