Amtoft, T. (1999). Partial Evaluation for Constraint-Based Program Analyses. BRICS Report Series, 6(45). https://doi.org/10.7146/brics.v6i45.20115