@article{LDJP18,
  author        = {Y. Li and K. Duan and D. Jansen and J. Pang and L. Zhang and Y. Lv and S. Cai},
  title         = {An automatic proving approach to parameterized verification},
  journal       = {ACM Transactions on Computational Logic},
  year          = {2018},
  volume        = {19},
  number        = {4},
  pages         = {1-27}
}