@article{Blass_1985,
    doi = {10.1016/s0019-9958(85)80027-9},
    url = {https://doi.org/10.1016%2Fs0019-9958%2885%2980027-9},
    year = {1985},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {67},
    number = {1-3},
    pages = {70--90},
    author = {Andreas Blass and Yuri Gurevich and Dexter Kozen},
    title = {A zero-one law for logic with a fixed-point operator},
    journal = {Information and Control}
}

@article{Blass_1985, doi = {10.1016/s0019-9958(85)80027-9}, url = {https://doi.org/10.1016%2Fs0019-9958%2885%2980027-9}, year = {1985}, month = {oct}, publisher = {Elsevier {BV}}, volume = {67}, number = {1-3}, pages = {70--90}, author = {Andreas Blass and Yuri Gurevich and Dexter Kozen}, title = {A zero-one law for logic with a fixed-point operator}, journal = {Information and Control} }