@article{Patnaik_1997,
    doi = {10.1006/jcss.1997.1520},
    url = {https://doi.org/10.1006%2Fjcss.1997.1520},
    year = {1997},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {55},
    number = {2},
    pages = {199--209},
    author = {Sushant Patnaik and Neil Immerman},
    title = {Dyn-{FO}: A Parallel, Dynamic Complexity Class},
    journal = {Journal of Computer and System Sciences}
}

@article{Patnaik_1997, doi = {10.1006/jcss.1997.1520}, url = {https://doi.org/10.1006%2Fjcss.1997.1520}, year = {1997}, month = {oct}, publisher = {Elsevier {BV}}, volume = {55}, number = {2}, pages = {199--209}, author = {Sushant Patnaik and Neil Immerman}, title = {Dyn-{FO}: A Parallel, Dynamic Complexity Class}, journal = {Journal of Computer and System Sciences} }