Kucera, A. Deciding Regularity in Process Algebras. BRICS 1995, 2.