KOVÁCS, R., and G. HORVÁTH. “AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER”. Studia Universitatis Babeș-Bolyai Informatica, vol. 63, no. 2, Dec. 2018, pp. 88-101, doi:10.24193/subbi.2018.2.06.