@inproceedings{kr18,
  author    = {Della Monica, D. and
               N. Gigante and
               A. Montanari and
               P. Sala},
  title     = {A novel automata-theoretic approach to
               timeline-based planning},
  booktitle = {Proc. of the 16th International
               Conference on Principles of Knowledge
	       Representation and Reasoning (KR)},
  pages     = {541--550},
  year      = {2018},
  editor    = {Michael Thielscher and
               Francesca Toni and
               Frank Wolter},
  publisher = {{AAAI} Press},
  url       =
  {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18024},
  isbn      = {978-1-57735-803-9}
}