Computing Cost Estimates for Proof Strategies. - Knut Hinkelmann; Helge Hintze (ELP, 1993)

State-Saving Transformations for Efficient Bottom-Up Evaluation of Logic Programs and Rule-Based Systems. - Knut Hinkelmann; Helge Hintze (Ann. Math. Artif. Intell., 1997)