@workingPaper{Biundo_1990,
title={Plan generation using a method of deductive program synthesis},
author={Biundo, Susanne},
doi={http://dx.doi.org/10.22028/D291-24812},
year={1990}
}