@misc{indiciaeb474b072a234,
  title = {Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas},
  author = {Yuping Shen and Xishun Zhao},
  year = {2015},
  url = {https://arxiv.org/abs/1412.0320},
  note = {Source identifier: 1412.0320}
}