J. Abdullah, G. Dai, N. Guan, M. Mohaqeqi, and W. Yi. Models, Algorithms, Logics and Tools, volume 10460 of Lecture Notes in Computer Science, page 623-639. Springer, (2017)
A. Ahmadiyah, G. Su, K. Hua, and Y. Lai. Three-Dimensional Image Processing (3DIP) and Applications, volume 8650 of SPIE Proceedings, page 86500R. SPIE, (2013)