Lecture Notes in Computer Science, 11088 (2018), 156-168 https://doi.org/10.1007/978-3-319-98654-8_13
