@article{Chan_1988,
    doi = {10.1016/0304-3975(88)90012-6},
    url = {https://doi.org/10.1016%2F0304-3975%2888%2990012-6},
    year = {1988},
    month = {mar},
    publisher = {Elsevier {BV}},
    volume = {23},
    number = {1},
    pages = {95--101},
    author = {Tat-hung Chan and Oscar H. Ibarra},
    title = {On the finite-valuedness problem for sequential machines},
    journal = {Theoretical Computer Science}
}

@article{Chan_1988, doi = {10.1016/0304-3975(88)90012-6}, url = {https://doi.org/10.1016%2F0304-3975%2888%2990012-6}, year = {1988}, month = {mar}, publisher = {Elsevier {BV}}, volume = {23}, number = {1}, pages = {95--101}, author = {Tat-hung Chan and Oscar H. Ibarra}, title = {On the finite-valuedness problem for sequential machines}, journal = {Theoretical Computer Science} }