Доклад Alex Citkin «Deductive Systems With Unified Multiple-Conclusion Rules»