@inproceedings{DBLP:conf/ijcai/GiacomoV13,
  author    = {Giuseppe De Giacomo and
               Moshe Y. Vardi},
  editor    = {Francesca Rossi},
  title     = {Linear Temporal Logic and Linear Dynamic Logic on Finite Traces},
  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages     = {854--860},
  publisher = {{IJCAI/AAAI}},
  year      = {2013},
  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/GiacomoV13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"3L7RABTk9Eeuqd6AS","bibbaseid":"giacomo-vardi-lineartemporallogicandlineardynamiclogiconfinitetraces-2013","author_short":["Giacomo, G. D.","Vardi, M. Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Moshe","Y."],"propositions":[],"lastnames":["Vardi"],"suffixes":[]}],"editor":[{"firstnames":["Francesca"],"propositions":[],"lastnames":["Rossi"],"suffixes":[]}],"title":"Linear Temporal Logic and Linear Dynamic Logic on Finite Traces","booktitle":"IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013","pages":"854–860","publisher":"IJCAI/AAAI","year":"2013","url":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997","timestamp":"Tue, 20 Aug 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/ijcai/GiacomoV13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/GiacomoV13,\n author = {Giuseppe De Giacomo and\n Moshe Y. Vardi},\n editor = {Francesca Rossi},\n title = {Linear Temporal Logic and Linear Dynamic Logic on Finite Traces},\n booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference\n on Artificial Intelligence, Beijing, China, August 3-9, 2013},\n pages = {854--860},\n publisher = {{IJCAI/AAAI}},\n year = {2013},\n url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997},\n timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/GiacomoV13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giacomo, G. D.","Vardi, M. Y."],"editor_short":["Rossi, F."],"key":"DBLP:conf/ijcai/GiacomoV13","id":"DBLP:conf/ijcai/GiacomoV13","bibbaseid":"giacomo-vardi-lineartemporallogicandlineardynamiclogiconfinitetraces-2013","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","dataSources":["nYZATui8QfoZTWDxh"],"keywords":[],"search_terms":["linear","temporal","logic","linear","dynamic","logic","finite","traces","giacomo","vardi"],"title":"Linear Temporal Logic and Linear Dynamic Logic on Finite Traces","year":2013}