@incollection{Jurdzi_ski_2000,
    doi = {10.1007/3-540-46541-3_24},
    url = {https://doi.org/10.1007%2F3-540-46541-3_24},
    year = {2000},
    publisher = {Springer Berlin Heidelberg},
    pages = {290--301},
    author = {Marcin Jurdzi{\'{n}}ski},
    title = {Small Progress Measures for Solving Parity Games},
    booktitle = {{STACS} 2000}
}

@incollection{Jurdzi_ski_2000, doi = {10.1007/3-540-46541-3_24}, url = {https://doi.org/10.1007%2F3-540-46541-3_24}, year = {2000}, publisher = {Springer Berlin Heidelberg}, pages = {290--301}, author = {Marcin Jurdzi{\'{n}}ski}, title = {Small Progress Measures for Solving Parity Games}, booktitle = {{STACS} 2000} }