Efficient Minimization up to Location Equivalence.

Ugo Montanari, Marco Pistore, Daniel Yankelevich

Browse the full ESOP paper archive.