@workingPaper{Boley_1992,
title={A direct semantic characterization of RELFUN},
author={Boley, Harold},
doi={http://dx.doi.org/10.22028/D291-24920},
year={1992}
}