@workingPaper{Boley_1994,
title={Finite domains and exclusions as first-class citizens},
author={Boley, Harold},
doi={http://dx.doi.org/10.22028/D291-24933},
year={1994}
}