Invariants come from templates.

Joni Helin, Pertti Kellomki

Browse the full FMICS paper archive.