@inbook{ChenHongSinhaWang:TACAS:2015,
    title = {Commutativity of Reducers},
    isbn = {9783662466810},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-662-46681-0_9},
    doi = {10.1007/978-3-662-46681-0_9},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
    publisher = {Springer Berlin Heidelberg},
    author = {Chen, Yu-Fang and Hong, Chih-Duo and Sinha, Nishant and Wang, Bow-Yaw},
    year = {2015},
    pages = {131–146},
    date-added = {2025-1-20 19:57:56 +0100}
}

@inbook{ChenHongSinhaWang:TACAS:2015, title = {Commutativity of Reducers}, isbn = {9783662466810}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-662-46681-0_9}, doi = {10.1007/978-3-662-46681-0_9}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}, publisher = {Springer Berlin Heidelberg}, author = {Chen, Yu-Fang and Hong, Chih-Duo and Sinha, Nishant and Wang, Bow-Yaw}, year = {2015}, pages = {131–146}, date-added = {2025-1-20 19:57:56 +0100} }