@article{sosym13,
    title = {Metric Propositional Neighborhood Interval Logics
              on Natural Numbers},
    author = {D. Bresolin and Della Monica, D. and V. Goranko and
              A. Montanari and G. Sciavicco},
    journal = {Software and Systems Modeling (SoSyM)},
    year = {2013},
    volume={12},
    number={2},
    doi={10.1007/s10270-011-0195-y},
    publisher={Springer-Verlag},
    pages={245-264}
}
