Logic-Driven Traffic Big Data Analytics - Shaopeng Zhong, Daniel (Jian) Sun; Sun, Daniel (Jian) (Springer, 2022)