Srba, J. Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds. BRICS 2002, 9.