@article{SETH_2008,
    doi = {10.1142/s012905410800608x},
    url = {https://doi.org/10.1142%2Fs012905410800608x},
    year = {2008},
    month = {aug},
    publisher = {World Scientific Pub Co Pte Lt},
    volume = {19},
    number = {04},
    pages = {983--998},
    author = {ANIL SETH},
    title = {{AN} {ALTERNATIVE} {CONSTRUCTION} {IN} {SYMBOLIC} {REACHABILITY} {ANALYSIS} {OF} {SECOND} {ORDER} {PUSHDOWN} {SYSTEMS}},
    journal = {International Journal of Foundations of Computer Science}
}

@article{SETH_2008, doi = {10.1142/s012905410800608x}, url = {https://doi.org/10.1142%2Fs012905410800608x}, year = {2008}, month = {aug}, publisher = {World Scientific Pub Co Pte Lt}, volume = {19}, number = {04}, pages = {983--998}, author = {ANIL SETH}, title = {{AN} {ALTERNATIVE} {CONSTRUCTION} {IN} {SYMBOLIC} {REACHABILITY} {ANALYSIS} {OF} {SECOND} {ORDER} {PUSHDOWN} {SYSTEMS}}, journal = {International Journal of Foundations of Computer Science} }