TY  - RPRT
TI  - Representing Conjunctive Deductions by Disjunctive Deductions
AU  - Kosta Dosen
AU  - Zoran Petric
PY  - 2016
UR  - https://arxiv.org/abs/1511.05462
ID  - 1511.05462
ER  -