TY - RPRT TI - Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases AU - Cristina Feier AU - Stijn Heymans PY - 2011 UR - https://arxiv.org/abs/1110.2773 ID - 1110.2773 ER -