Effective Reductions of Mealy Machines.

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Browse the full FORTE paper archive.