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