@InProceedings{CKK-Infinity96,
  author = 	 { I. {\v{C}}ern\'{a} and M. K{\v{r}}et{\'\i}nsk{\' y} and 
                  A. Ku{\v{c}}era},
  title = 	 {Bisimilarity is Decidable in the Union of Normed {BPA} 
                 and {BPP} Processes},
  booktitle = 	 {Proceedings of the 1st International Workshop on 
                Verification of Infinite State Systems },
  pages = 	 {32 -46},
  year = 	 {1996},
  number = 	 {MIP-9614},
  organization = {University of Passau},
  note = 	 {Also in Electronic Notes in Theoretical Computer 
                 Science, volume 5, Elsevier Science, 1997},
  annote = 	 {}
}