KOVÁCS, Réka, and Gábor HORVÁTH. “AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER”. Studia Universitatis Babeș-Bolyai Informatica 63, no. 2 (December 28, 2018): 88–101. Accessed April 7, 2025. https://studia.reviste.ubbcluj.ro/index.php/subbinformatica/article/view/4155.