State Space Reduction by Proving Confluence.

Stefan Blom, Jaco van de Pol

Browse the full CAV paper archive.