Boley, 1994. Finite domains and exclusions as first-class citizens, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-58025-5_49