Hans Hüttel Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes. 2-12 1991 conf/cav/1991 CAV db/conf/cav/cav91.html#Huttel91 http://dx.doi.org/10.1007/3-540-55179-4_2