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

David Cazier, Jean-François Dufourd (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics