Recursive Parametric Automata and epsilon-Removal.

Lin Liu, Jonathan Billington

Browse the full FORTE paper archive.