Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. In Dang Van Hung, Padmanabhan Krishnan, editors, Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. pages 240-249, IEEE Computer Society, 2009. [doi]
Abstract is missing.