M. Alpuente, S. Escobar, B. Gramlich, S. Lucas: "Improving On-demand Strategy Annotations"; in: "Proc. 9th LPAR 2002", issued by: Matthias Baaz, Andrei Voronkov; Springer, 2002, ISBN: 3-540-00010-0, 1 - 18.