@article{CRMATH_2019__357_10_756_0,
     author = {Guo-Shuai Mao and Chen Wang and Jie Wang},
     title = {Symbolic summation methods and congruences involving harmonic numbers},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {756--765},
     publisher = {Elsevier},
     volume = {357},
     number = {10},
     year = {2019},
     doi = {10.1016/j.crma.2019.10.005},
     language = {en},
}