TY  - RPRT
TI  - An Optimization for Reasoning with Forest Logic Programs
AU  - Cristina Feier
AU  - Stijn Heymans
PY  - 2010
UR  - https://arxiv.org/abs/1011.5894
ID  - 1011.5894
ER  -