Precise complexity guarantees for pointer analysis via datalog with extensions. - TEKLE, K. TUNCAY; LIU, YANHONG A.; Carro, Manuel; King, Andy (Theory & Practice of Logic Programming, 2016)