Citkin, A. 2020. Deductive systems with unified multiple-conclusion rules. Логические исследования. 26, 2 (дек. 2020), 87-105. DOI:https://doi.org/10.21146/2074-1472-2020-26-2-87-105.