A short proof of the decidability of bisimulation for normed BPA processes (1992)

by J F Groote
Venue:Inf Process Lett 42:167–171