TY  - RPRT
TI  - Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas
AU  - Yuping Shen
AU  - Xishun Zhao
PY  - 2015
UR  - https://arxiv.org/abs/1412.0320
ID  - 1412.0320
ER  -