@article{LUGIEZ_2011,
    doi = {10.1142/s0129054111008453},
    url = {https://doi.org/10.1142%2Fs0129054111008453},
    year = {2011},
    month = {jun},
    publisher = {World Scientific Pub Co Pte Lt},
    volume = {22},
    number = {04},
    pages = {843--862},
    author = {DENIS LUGIEZ},
    title = {{FORWARD} {ANALYSIS} {OF} {DYNAMIC} {NETWORK} {OF} {PUSHDOWN} {SYSTEMS} {IS} {EASIER} {WITHOUT} {ORDER}},
    journal = {International Journal of Foundations of Computer Science}
}

@article{LUGIEZ_2011, doi = {10.1142/s0129054111008453}, url = {https://doi.org/10.1142%2Fs0129054111008453}, year = {2011}, month = {jun}, publisher = {World Scientific Pub Co Pte Lt}, volume = {22}, number = {04}, pages = {843--862}, author = {DENIS LUGIEZ}, title = {{FORWARD} {ANALYSIS} {OF} {DYNAMIC} {NETWORK} {OF} {PUSHDOWN} {SYSTEMS} {IS} {EASIER} {WITHOUT} {ORDER}}, journal = {International Journal of Foundations of Computer Science} }