Kovacs, R., AND Horvath, G.. " An Initial Prototype of Tiered Constraint Solving in the Clang Static Analyzer" Studia Universitatis BabeČ™-Bolyai Informatica [Online], Volume 63 Number 2 (19 June 2018)