An analytical and experimental comparison of CSP extensions and tools - Shi, L. (2013)
10.1007/978-3-642-34281-3_27