@article{Blute_2010,
    doi = {10.1007/s10485-010-9241-0},
    url = {https://doi.org/10.1007%2Fs10485-010-9241-0},
    year = {2010},
    month = {dec},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {20},
    number = {3},
    pages = {209--228},
    author = {Richard Blute and Prakash Panangaden and Sergey Slavnov},
    title = {Deep Inference and Probabilistic Coherence Spaces},
    journal = {Applied Categorical Structures}
}

@article{Blute_2010, doi = {10.1007/s10485-010-9241-0}, url = {https://doi.org/10.1007%2Fs10485-010-9241-0}, year = {2010}, month = {dec}, publisher = {Springer Science and Business Media {LLC}}, volume = {20}, number = {3}, pages = {209--228}, author = {Richard Blute and Prakash Panangaden and Sergey Slavnov}, title = {Deep Inference and Probabilistic Coherence Spaces}, journal = {Applied Categorical Structures} }