@article{lmcs_7278,
    title = {{Stubborn Set Reduction for Two-Player Reachability Games}},
    author = {Frederik Meyer Bønneland and Peter Gjøl Jensen and Kim Guldstrand Larsen and Marco Muñiz and Jiří Srba},
    url = {http://lmcs.episciences.org/7278},
    doi = {10.23638/LMCS-17(1:21)2021},
    journal = {{Logical Methods in Computer Science}},
    volume = {{Volume 17, Issue 1}},
    year = {2021},
    month = {mar},
    keywords = {Computer Science - Logic in Computer Science},
    date-added = {2023-11-24 23:26:40 +0100}
}

@article{lmcs_7278, title = {{Stubborn Set Reduction for Two-Player Reachability Games}}, author = {Frederik Meyer Bønneland and Peter Gjøl Jensen and Kim Guldstrand Larsen and Marco Muñiz and Jiří Srba}, url = {http://lmcs.episciences.org/7278}, doi = {10.23638/LMCS-17(1:21)2021}, journal = {{Logical Methods in Computer Science}}, volume = {{Volume 17, Issue 1}}, year = {2021}, month = {mar}, keywords = {Computer Science - Logic in Computer Science}, date-added = {2023-11-24 23:26:40 +0100} }