Yukun Cheng Donglei Du Qiaoming Han 226-238 2018 SAGT https://doi.org/10.1007/978-3-319-99660-8_20 conf/sagt/2018 db/conf/sagt/sagt2018.html#ChengDH18