@article{Bradfield:RAIRO:1999,
    Author = {Bradfield, J. C.},
    Journal = {RAIRO - Theoretical Informatics and Applications},
    Number = {4-5},
    Pages = {341---356},
    Publisher = {EDP Sciences},
    Title = {Fixpoint alternation: arithmetic, transition systems, and the binary tree},
    Volume = {33},
    Year = {1999},
    bdsk-url-1 = {https://doi.org/10.1051/ita:1999122},
    date-added = {2020-08-11 13:00:56 +0200},
    date-modified = {2020-08-11 13:01:25 +0200},
    doi = {10.1051/ita:1999122}
}

@article{Bradfield:RAIRO:1999, Author = {Bradfield, J. C.}, Journal = {RAIRO - Theoretical Informatics and Applications}, Number = {4-5}, Pages = {341---356}, Publisher = {EDP Sciences}, Title = {Fixpoint alternation: arithmetic, transition systems, and the binary tree}, Volume = {33}, Year = {1999}, bdsk-url-1 = {https://doi.org/10.1051/ita:1999122}, date-added = {2020-08-11 13:00:56 +0200}, date-modified = {2020-08-11 13:01:25 +0200}, doi = {10.1051/ita:1999122} }