@workingPaper{Hinkelmann_1991,
title={Bidirectional reasoning of horn clause programs : transformation and compilation},
author={Hinkelmann, Knut},
doi={http://dx.doi.org/10.22028/D291-25021},
year={1991}
}