Kovacs, R., & 		Horvath, G.
(2018).
 An Initial Prototype of Tiered Constraint Solving in the Clang Static Analyzer.
<em>Studia Universitatis Babeș-Bolyai Informatica, 63</em>(2), 88-101.
doi:10.24193/subbi.2018.2.06