B.: An elementary bisimulation decision procedure for arbitrary context-free processes (1995)

by O Burkart, D Caucal, Steffen
Venue:MFCS. Lecture Notes in Computer Science