Bisimilarity Problems Requiring Exponential Time.

Michele Boreale, Luca Trevisan

Browse the full MFCS paper archive.