@misc{indiciae9186e59fc057,
  title = {Syntactic Conditions for Antichain Property in Consistency Restoring Prolog},
  author = {Vu Phan},
  year = {2018},
  url = {https://arxiv.org/abs/1809.09319},
  note = {Source identifier: 1809.09319}
}