Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete | Publicación