%0 Journal Article %1 journals/tocl/BresolinKMRSZ17 %A Bresolin, Davide %A Kurucz, Agi %A Muñoz-Velasco, Emilio %A Ryzhikov, Vladislav %A Sciavicco, Guido %A Zakharyaschev, Michael %D 2017 %J ACM Trans. Comput. Log. %K dblp %N 3 %P 22:1-22:39 %T Horn Fragments of the Halpern-Shoham Interval Temporal Logic. %U http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#BresolinKMRSZ17 %V 18

@article{journals/tocl/BresolinKMRSZ17, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bresolin, Davide and Kurucz, Agi and Muñoz-Velasco, Emilio and Ryzhikov, Vladislav and Sciavicco, Guido and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2b271a103c4d73cd63f15666486d34862/dblp}, ee = {https://doi.org/10.1145/3105909}, interhash = {1860a8d4383c543c0a16547bbad1133f}, intrahash = {b271a103c4d73cd63f15666486d34862}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 3, pages = {22:1-22:39}, timestamp = {2024-04-08T12:38:30.000+0200}, title = {Horn Fragments of the Halpern-Shoham Interval Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#BresolinKMRSZ17}, volume = 18, year = 2017 }