@inproceedings{DBLP:conf/aaai/GiacomoMM14,
  author    = {Giuseppe De Giacomo and
               Riccardo De Masellis and
               Marco Montali},
  editor    = {Carla E. Brodley and
               Peter Stone},
  title     = {Reasoning on {LTL} on Finite Traces: Insensitivity to Infiniteness},
  booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  pages     = {1027--1033},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8575},
  timestamp = {Thu, 18 Feb 2021 14:57:22 +0100},
  biburl    = {https://dblp.org/rec/conf/aaai/GiacomoMM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"nhpZLfPGQ92GoQbYF","bibbaseid":"giacomo-masellis-montali-reasoningonltlonfinitetracesinsensitivitytoinfiniteness-2014","author_short":["Giacomo, G. D.","Masellis, R. D.","Montali, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Riccardo","De"],"propositions":[],"lastnames":["Masellis"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Montali"],"suffixes":[]}],"editor":[{"firstnames":["Carla","E."],"propositions":[],"lastnames":["Brodley"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Stone"],"suffixes":[]}],"title":"Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness","booktitle":"Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada","pages":"1027–1033","publisher":"AAAI Press","year":"2014","url":"http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8575","timestamp":"Thu, 18 Feb 2021 14:57:22 +0100","biburl":"https://dblp.org/rec/conf/aaai/GiacomoMM14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/GiacomoMM14,\n author = {Giuseppe De Giacomo and\n Riccardo De Masellis and\n Marco Montali},\n editor = {Carla E. Brodley and\n Peter Stone},\n title = {Reasoning on {LTL} on Finite Traces: Insensitivity to Infiniteness},\n booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,\n July 27 -31, 2014, Qu{\\'{e}}bec City, Qu{\\'{e}}bec, Canada},\n pages = {1027--1033},\n publisher = {{AAAI} Press},\n year = {2014},\n url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8575},\n timestamp = {Thu, 18 Feb 2021 14:57:22 +0100},\n biburl = {https://dblp.org/rec/conf/aaai/GiacomoMM14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giacomo, G. D.","Masellis, R. D.","Montali, M."],"editor_short":["Brodley, C. E.","Stone, P."],"key":"DBLP:conf/aaai/GiacomoMM14","id":"DBLP:conf/aaai/GiacomoMM14","bibbaseid":"giacomo-masellis-montali-reasoningonltlonfinitetracesinsensitivitytoinfiniteness-2014","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8575"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["reasoning","ltl","finite","traces","insensitivity","infiniteness","giacomo","masellis","montali"],"title":"Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness","year":2014}