KOVÁCS, R., & HORVÁTH, G. (2018). AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER. Studia Universitatis Babeș-Bolyai Informatica, 63(2), 88–101. https://doi.org/10.24193/subbi.2018.2.06