Strong bisimilarity of simple process algebras: Complexity lower bounds
scientific article; zbMATH DE number 2055231