TY  - RPRT
TI  - The Limits of Horn Logic Programs
AU  - Shilong Ma
AU  - Yuefei Sui
AU  - Ke Xu
PY  - 2002
UR  - https://arxiv.org/abs/cs/0103008
ID  - cs/0103008
ER  -