Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang: Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. SAC 2013: 1204-1210