Similar Items: A System of Interaction and Structure II: The Need for Deep Inference
- Foundations of Online Structure Theory II: The Operator Approach
- Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
- Normalisation Control in Deep Inference via Atomic Flows
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- On the relative proof complexity of deep inference via atomic flows
- Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae