TY  - RPRT
TI  - Syntactic Conditions for Antichain Property in Consistency Restoring Prolog
AU  - Vu Phan
PY  - 2018
UR  - https://arxiv.org/abs/1809.09319
ID  - 1809.09319
ER  -