93.185.164.20
Deductive systems with unified multiple-conclusion rules
(Logical Investigations)