@workingPaper{Bos_1996,
title={Predicate logic unplugged},
author={Bos, Johan},
doi={http://dx.doi.org/10.22028/D291-25188},
year={1996}
}