Maximally Multi-focused Proofs for Skew Non-Commutative MILL.

Niccol Veltri

Browse the full WoLLIC paper archive.