@article{SJC_2020_14_3-4_a0, author = {Ivanova-Rohling, Violeta}, title = {Theoretical {Properties} of a {Neighborhood-based} {Approach} for {Widening}}, journal = {Serdica Journal of Computing}, pages = {65--91}, publisher = {mathdoc}, volume = {14}, number = {3-4}, year = {2020}, language = {en}, url = {http://geodesic.mathdoc.fr/item/SJC_2020_14_3-4_a0/} }