Skura, T.; Wiśniewski, A. A System for Proper Multiple-Conclusion Entailment. LLP 2015, 24, 241–253.