A Resolution of the Static Formulation Question for the Problem of Computing the History Bound | IEEE Journals & Magazine | IEEE Xplore