@inproceedings{sefm2009,
	Address = {Hanoi, Vietnam},
	Author = {Davide Bresolin and Valentin Goranko and Angelo Montanari and Guido Sciavicco},
	Booktitle = {Proc. of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM)},
	Month = {November},
	Pages = {240--249},
	Publisher = {IEEE Comp. Society Press},
	Title = {Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths},
	Year = {2009}
}