Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco. On the Complexity of Fragments of Horn Modal Logics. In Curtis E. Dyreson, Michael R. Hansen, Luke Hunsberger, editors, 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016. pages 186-195, IEEE Computer Society, 2016. [doi]
@inproceedings{BresolinMS16,
title = {On the Complexity of Fragments of Horn Modal Logics},
author = {Davide Bresolin and Emilio Muñoz-Velasco and Guido Sciavicco},
year = {2016},
doi = {10.1109/TIME.2016.27},
url = {http://doi.ieeecomputersociety.org/10.1109/TIME.2016.27},
researchr = {https://researchr.org/publication/BresolinMS16},
cites = {0},
citedby = {0},
pages = {186-195},
booktitle = {23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016},
editor = {Curtis E. Dyreson and Michael R. Hansen and Luke Hunsberger},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-3825-1},
}