@workingPaper{StephanBiundo_1995,
title={Deduction-based refinement planning},
author={Stephan, Werner and Biundo, Susanne},
doi={http://dx.doi.org/10.22028/D291-24967},
year={1995}
}