R. KOVÁCS and G. HORVÁTH, “AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER”, Studia UBB Informatica, vol. 63, no. 2, pp. 88–101, Dec. 2018.