= Completeness of atomic initial sequents {wiki=Completeness_of_atomic_initial_sequents}
Back to article page