TY  - RPRT
TI  - Tabling, Rational Terms, and Coinduction Finally Together!
AU  - Thepfrastos Mantadelis
AU  - Ricardo Rocha
AU  - Paulo Moura
PY  - 2014
DO  - 10.1017/s147106841400012x
UR  - https://arxiv.org/abs/1405.2794
ID  - 1405.2794
ER  -