@workingPaper{HinkelmannHintze_1994,
title={Computing cost estimates for proof strategies},
author={Hinkelmann, Knut and Hintze, Helge},
doi={http://dx.doi.org/10.22028/D291-24934},
year={1994}
}