TY  - RPRT
TI  - Model Checking the Logic of Allen's Relations Meets and Started-by is $P^NP$-Complete
AU  - Laura Bozzelli
AU  - Alberto Molinari
AU  - Angelo Montanari
AU  - Adriano Peron
AU  - Pietro Sala
PY  - 2016
DO  - 10.4204/eptcs.226.6
UR  - https://arxiv.org/abs/1609.04090
ID  - 1609.04090
ER  -