@article{jucs12,
  author = {Della Monica, Dario and Valentin Goranko
            and Angelo Montanari and Guido Sciavicco},
  title = {Crossing the Undecidability Border with
           Extensions of Propositional Neighborhood
           Logic over Natural Numbers},
  journal = {Jounal of Universal Computer Science (JUCS)},
  year = {2012},
  volume = {18},
  number = {20},
  pages = {2798--2831}
}