@inproceedings{ijcai17,
  author    = {Della Monica, D. and
               N. Gigante and
               A. Montanari and
               P. Sala
               and G. Sciavicco},
  title     = {Bounded Timed Propositional Temporal
               Logic with Past Captures Timeline-based
               Planning with Bounded Constraints},
  booktitle = {Proc. of the 26th International Joint
               Conference on Artificial Intelligence
               (IJCAI)},
  pages     = {1008--1014},
  year      = {2017},
  editor    = {Carles Sierra},
  publisher = {ijcai.org},
  doi       = {10.24963/ijcai.2017/140},
  isbn      = {978-0-9992411-0-3},
  address   = {Melbourne, Australia},
  month     = {August}
}