Chen, et al.. Automatic Trace Analysis for Logic of Constraints. ACM Press, 2003, doi:10.1145/775949.775952.