Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects.

David Cazier, Jean-Franois Dufourd

Browse the full FM paper archive.