1 paper · 2 filters
Keehang Kwon, Daeseong Kang
LogicWeb has traditionally lacked devices for expressing mutually exclusive clauses. We address this limitation by adopting choice-conjunctive clauses of the form $D_0 \adc D_1$ wh…