@article{Bollig_2024,
    title = {Branch-Well-Structured Transition Systems and Extensions},
    volume = {Volume 20, Issue 2},
    issn = {1860-5974},
    url = {http://dx.doi.org/10.46298/lmcs-20(2:12)2024},
    doi = {10.46298/lmcs-20(2:12)2024},
    journal = {Logical Methods in Computer Science},
    publisher = {Centre pour la Communication Scientifique Directe (CCSD)},
    author = {Bollig, Benedikt and Finkel, Alain and Suresh, Amrita},
    year = {2024},
    month = {jun},
    date-added = {2024-6-23 6:58:10 +0100}
}

@article{Bollig_2024, title = {Branch-Well-Structured Transition Systems and Extensions}, volume = {Volume 20, Issue 2}, issn = {1860-5974}, url = {http://dx.doi.org/10.46298/lmcs-20(2:12)2024}, doi = {10.46298/lmcs-20(2:12)2024}, journal = {Logical Methods in Computer Science}, publisher = {Centre pour la Communication Scientifique Directe (CCSD)}, author = {Bollig, Benedikt and Finkel, Alain and Suresh, Amrita}, year = {2024}, month = {jun}, date-added = {2024-6-23 6:58:10 +0100} }