Minimal Transition Systems for History-Preserving Bisimulation.

Ugo Montanari, Marco Pistore

Browse the full STACS paper archive.