Tabling, Rational Terms, and Coinduction Finally Together!
| Title | Tabling, Rational Terms, and Coinduction Finally Together! |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Theofrastos Mantadelis and Ricardo Rocha and Paulo Moura |
| Journal | Journal of Theory and Practice of Logic Programming (30th International Conference on Logic Programming (ICLP 2014) Special Issue) |
| Alternate Journal | TPLP |
| Volume | 14 |
| Pages | 429–443 |
| Issue | 4–5 |
| Month of Publish | July |
| DOI | 10.1017/S147106841400012X |