Kovacs, R., & Horvath, G. 2018 Jun 19. An Initial Prototype of Tiered Constraint Solving in the Clang Static Analyzer. Studia Universitatis BabeČ™-Bolyai Informatica. [Online] 63:2