@incollection{Liu_1998,
    doi = {10.1007/bfb0055040},
    url = {https://doi.org/10.1007%2Fbfb0055040},
    year = {1998},
    publisher = {Springer Berlin Heidelberg},
    pages = {53--66},
    author = {Xinxin Liu and Scott A. Smolka},
    title = {Simple linear-time algorithms for minimal fixed points},
    booktitle = {Automata, Languages and Programming}
}

@incollection{Liu_1998, doi = {10.1007/bfb0055040}, url = {https://doi.org/10.1007%2Fbfb0055040}, year = {1998}, publisher = {Springer Berlin Heidelberg}, pages = {53--66}, author = {Xinxin Liu and Scott A. Smolka}, title = {Simple linear-time algorithms for minimal fixed points}, booktitle = {Automata, Languages and Programming} }