TY  - RPRT
TI  - An Optimal Decision Procedure for MPNL over the Integers
AU  - Davide Bresolin
AU  - Angelo Montanari
AU  - Pietro Sala
AU  - Guido Sciavicco
PY  - 2011
DO  - 10.4204/eptcs.54.14
UR  - https://arxiv.org/abs/1106.1241
ID  - 1106.1241
ER  -