KOVÁCS, R.; HORVÁTH, G. AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER. Studia UBB Informatica 2018, 63, 88-101.