A short proof of the decidability of bisimulation for normed BPA- processes
scientific article; zbMATH DE number 92112