Sequent-type rejection systems for finite-valued non-deterministic logics. - Martin Gius; Hans Tompits (J. Appl. Non Class. Logics, 2023)