@article{atkey-2024-a, title={A Semantic Proof of Generalised Cut Elimination for Deep Inference}, volume={4}, ISSN={2969-2431}, url={http://dx.doi.org/10.46298/entics.14870}, DOI={10.46298/entics.14870}, journal={Electronic Notes in Theoretical Informatics and Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Atkey, Robert and Kokke, Wen}, year={2024}, month=Dec }