An Optimal Decision Procedure for MPNL over the Integers | Publicación