@article{tocl2017,
	Author = {Davide Bresolin and Agi Kurucz and Emilio Mu{\~{n}}oz{-}Velasco and Vladislav Ryzhikov and Guido Sciavicco and Michael Zakharyaschev},
	Bibsource = {dblp computer science bibliography, http://dblp.org},
	Biburl = {http://dblp.uni-trier.de/rec/bib/journals/tocl/BresolinKMRSZ17},
	Date-Added = {2017-09-25 12:17:07 +0000},
	Date-Modified = {2017-09-25 12:17:16 +0000},
	Doi = {10.1145/3105909},
	Journal = {{ACM} Trans. Comput. Log.},
	Number = {3},
	Pages = {22:1--22:39},
	Timestamp = {Wed, 30 Aug 2017 15:38:05 +0200},
	Title = {Horn Fragments of the Halpern-Shoham Interval Temporal Logic},
	Url = {http://doi.acm.org/10.1145/3105909},
	Volume = {18},
	Year = {2017},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/3105909},
	Bdsk-Url-2 = {http://dx.doi.org/10.1145/3105909}}

{"_id":"XFPmA9Z4fWBaYkif2","bibbaseid":"bresolin-kurucz-muozvelasco-ryzhikov-sciavicco-zakharyaschev-hornfragmentsofthehalpernshohamintervaltemporallogic-2017","author_short":["Bresolin, D.","Kurucz, A.","Muñoz-Velasco, E.","Ryzhikov, V.","Sciavicco, G.","Zakharyaschev, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Bresolin"],"suffixes":[]},{"firstnames":["Agi"],"propositions":[],"lastnames":["Kurucz"],"suffixes":[]},{"firstnames":["Emilio"],"propositions":[],"lastnames":["Muñoz-Velasco"],"suffixes":[]},{"firstnames":["Vladislav"],"propositions":[],"lastnames":["Ryzhikov"],"suffixes":[]},{"firstnames":["Guido"],"propositions":[],"lastnames":["Sciavicco"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Zakharyaschev"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, http://dblp.org","biburl":"http://dblp.uni-trier.de/rec/bib/journals/tocl/BresolinKMRSZ17","date-added":"2017-09-25 12:17:07 +0000","date-modified":"2017-09-25 12:17:16 +0000","doi":"10.1145/3105909","journal":"ACM Trans. Comput. Log.","number":"3","pages":"22:1–22:39","timestamp":"Wed, 30 Aug 2017 15:38:05 +0200","title":"Horn Fragments of the Halpern-Shoham Interval Temporal Logic","url":"http://doi.acm.org/10.1145/3105909","volume":"18","year":"2017","bdsk-url-1":"http://doi.acm.org/10.1145/3105909","bdsk-url-2":"http://dx.doi.org/10.1145/3105909","bibtex":"@article{tocl2017,\n\tAuthor = {Davide Bresolin and Agi Kurucz and Emilio Mu{\\~{n}}oz{-}Velasco and Vladislav Ryzhikov and Guido Sciavicco and Michael Zakharyaschev},\n\tBibsource = {dblp computer science bibliography, http://dblp.org},\n\tBiburl = {http://dblp.uni-trier.de/rec/bib/journals/tocl/BresolinKMRSZ17},\n\tDate-Added = {2017-09-25 12:17:07 +0000},\n\tDate-Modified = {2017-09-25 12:17:16 +0000},\n\tDoi = {10.1145/3105909},\n\tJournal = {{ACM} Trans. Comput. Log.},\n\tNumber = {3},\n\tPages = {22:1--22:39},\n\tTimestamp = {Wed, 30 Aug 2017 15:38:05 +0200},\n\tTitle = {Horn Fragments of the Halpern-Shoham Interval Temporal Logic},\n\tUrl = {http://doi.acm.org/10.1145/3105909},\n\tVolume = {18},\n\tYear = {2017},\n\tBdsk-Url-1 = {http://doi.acm.org/10.1145/3105909},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/3105909}}\n\n","author_short":["Bresolin, D.","Kurucz, A.","Muñoz-Velasco, E.","Ryzhikov, V.","Sciavicco, G.","Zakharyaschev, M."],"key":"tocl2017","id":"tocl2017","bibbaseid":"bresolin-kurucz-muozvelasco-ryzhikov-sciavicco-zakharyaschev-hornfragmentsofthehalpernshohamintervaltemporallogic-2017","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/3105909"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://www.math.unipd.it/~bresolin/papers/biblio-it.bib","dataSources":["S2GkQK7zrj9q2HwGy"],"keywords":[],"search_terms":["horn","fragments","halpern","shoham","interval","temporal","logic","bresolin","kurucz","muñoz-velasco","ryzhikov","sciavicco","zakharyaschev"],"title":"Horn Fragments of the Halpern-Shoham Interval Temporal Logic","year":2017}