@inproceedings{gandalf2011b,
	Address = {Minori, Amalfi Coast, Italy},
	Author = {D. Bresolin and A. Montanari and P. Sala and G. Sciavicco},
	Booktitle = {Proc. of GandALF 2011: Second International Symposium on Games, Automata, Logics and Formal Verification},
	Month = jun,
	Title = {An Optimal Decision Procedure for MPNL over the Integers},
	Year = {2011}
}