@workingPaper{AutexierHutter_1997,
title={Parameterized abstractions used for proof-planning},
author={Autexier, Serge and Hutter, Dieter},
doi={http://dx.doi.org/10.22028/D291-24942},
year={1997}
}