Right propositional neighborhood logic over natural numbers with integer constraints for interval lengths (2009)

by D Bresolin, V Goranko A Montanari, G Sciavicco
Venue:In Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM