@article{Muchnik:TCS:2003,
    title = {One application of real-valued interpretation of formal power series},
    volume = {290},
    issn = {0304-3975},
    url = {http://dx.doi.org/10.1016/S0304-3975(02)00369-9},
    doi = {10.1016/s0304-3975(02)00369-9},
    number = {3},
    journal = {Theoretical Computer Science},
    publisher = {Elsevier BV},
    author = {Muchnik, An. A.},
    year = {2003},
    month = {jan},
    pages = {1931–1946},
    date-added = {2023-12-16 20:17:8 +0100}
}

@article{Muchnik:TCS:2003, title = {One application of real-valued interpretation of formal power series}, volume = {290}, issn = {0304-3975}, url = {http://dx.doi.org/10.1016/S0304-3975(02)00369-9}, doi = {10.1016/s0304-3975(02)00369-9}, number = {3}, journal = {Theoretical Computer Science}, publisher = {Elsevier BV}, author = {Muchnik, An. A.}, year = {2003}, month = {jan}, pages = {1931–1946}, date-added = {2023-12-16 20:17:8 +0100} }