@article{Barto_2010,
    doi = {10.1137/080743238},
    url = {https://doi.org/10.1137%2F080743238},
    year = {2010},
    month = {jan},
    publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})},
    volume = {39},
    number = {4},
    pages = {1531--1542},
    author = {Libor Barto and Marcin Kozik},
    title = {Congruence Distributivity Implies Bounded Width},
    journal = {{SIAM} Journal on Computing}
}

@article{Barto_2010, doi = {10.1137/080743238}, url = {https://doi.org/10.1137%2F080743238}, year = {2010}, month = {jan}, publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, volume = {39}, number = {4}, pages = {1531--1542}, author = {Libor Barto and Marcin Kozik}, title = {Congruence Distributivity Implies Bounded Width}, journal = {{SIAM} Journal on Computing} }