@inproceedings{CKK-Infinity96,
 annote = {},
 author = { Ivana Černá and Mojmír Křetínský and 
Antonín Kučera},
 booktitle = {Proceedings of the 1st International Workshop on 
Verification of Infinite State Systems },
 note = {Also in Electronic Notes in Theoretical Computer 
Science, volume 5, Elsevier Science, 1997},
 number = {MIP-9614},
 organization = {University of Passau},
 pages = {32 -46},
 title = {Bisimilarity is Decidable in the Union of Normed {BPA} 
and {BPP} Processes},
 year = {1996}
}