TY  - RPRT
TI  - Enumeration Problems Related to Ground Horn Theories
AU  - Nachum Dershowitz
AU  - Mitchell A. Harris
AU  - Guan-Shieng Huang
PY  - 2008
UR  - https://arxiv.org/abs/cs/0610054
ID  - cs/0610054
ER  -