Angelo Montanari, Marco Pazzaglia, Pietro Sala. Adding two equivalence relations to the interval temporal logic AB. In Stefano Bistarelli, Andrea Formisano, editors, Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014. Volume 1231 of CEUR Workshop Proceedings, pages 171-182, CEUR-WS.org, 2014. [doi]
@inproceedings{MontanariPS14-0,
title = {Adding two equivalence relations to the interval temporal logic AB},
author = {Angelo Montanari and Marco Pazzaglia and Pietro Sala},
year = {2014},
url = {http://ceur-ws.org/Vol-1231/long13.pdf},
researchr = {https://researchr.org/publication/MontanariPS14-0},
cites = {0},
citedby = {0},
pages = {171-182},
booktitle = {Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014},
editor = {Stefano Bistarelli and Andrea Formisano},
volume = {1231},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}