@article{Hughes_2012,
    doi = {10.1016/j.jpaa.2012.03.020},
    url = {https://doi.org/10.1016%2Fj.jpaa.2012.03.020},
    year = {2012},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {216},
    number = {11},
    pages = {2386--2410},
    author = {Dominic J.D. Hughes},
    title = {Simple free star-autonomous categories and full coherence},
    journal = {Journal of Pure and Applied Algebra}
}

@article{Hughes_2012, doi = {10.1016/j.jpaa.2012.03.020}, url = {https://doi.org/10.1016%2Fj.jpaa.2012.03.020}, year = {2012}, month = {nov}, publisher = {Elsevier {BV}}, volume = {216}, number = {11}, pages = {2386--2410}, author = {Dominic J.D. Hughes}, title = {Simple free star-autonomous categories and full coherence}, journal = {Journal of Pure and Applied Algebra} }