User-Defined Types and Operations in GROOVE.

Arend Rensink

Browse the full ICGT paper archive.