TY  - RPRT
TI  - Extending Coinductive Logic Programming with Co-Facts
AU  - Davide Ancona
AU  - Francesco Dagnino
AU  - Elena Zucca
PY  - 2017
DO  - 10.4204/eptcs.258.1
UR  - https://arxiv.org/abs/1709.04901
ID  - 1709.04901
ER  -