"Deciding $k$CFA is complete for EXPTIME."

David Van Horn, Harry G. Mairson (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics