Hydra Battles and AC Termination.

Nao Hirokawa, Aart Middeldorp

Browse the full FSCD paper archive.