On-demand strategy annotations revisited: An improved on-demand evaluation strategy

Mar\'{\i}a Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas. On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Theor. Comput. Sci., 411(2), 2010.

Abstract

Abstract is missing.