Symbolic Trajectories in SECONDO: Pattern Matching and Rewriting.

Fabio Valds, Maria Luisa Damiani, Ralf Hartmut Gting

Browse the full DASFAA paper archive.