@workingPaper{StephanBiundo_1992,
title={A new logical framework for deductive planning},
author={Stephan, Werner and Biundo, Susanne},
doi={http://dx.doi.org/10.22028/D291-24866},
year={1992}
}