Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro,
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE»
vol. 226
in Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016
,
Atti di "GandALF"
, Catania
, 14-16 September 2016
,
2016
,
pp. 76-90