de Pol, State space reduction by proving confluence, in (2002)

by S C C Blom, J C van
Venue:Proc. of the 14th Int. Conf. on Computer Aided Verification (CAV), volume 2404 of LNCS