@workingPaper{Boley_1992,
title={Extended logic-plus-functional programming},
author={Boley, Harold},
doi={http://dx.doi.org/10.22028/D291-24837},
year={1992}
}