Encoding the Hydra Battle as a Rewrite System.

Hlne Touzet

Browse the full MFCS paper archive.