Chen, Hsieh, Balarin, Watanabe, 2003. Automatic trace analysis for logic of constraints, in: . ACM Press.. https://doi.org/10.1145/775949.775952