Subotic, Pavle; (2019) Scalable Logic Defined Static Analysis. Doctoral thesis (Ph.D), UCL (University College London).