Tabling as a library with delimited control.
Saved in:
| Title: | Tabling as a library with delimited control. |
|---|---|
| Authors: | DESOUTER, BENOIT1, benoit.desouter@ugent.be, VAN DOOREN, MARKO1, marko.vandooren@ugent.be, SCHRIJVERS, TOM2, tom.schrijvers@cs.kuleuven.be, Eiter, Thomas, Toni, Francesca |
| Source: | Theory & Practice of Logic Programming; Jul2015, Vol. 15 Issue 4/5, p419-433, 15p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068415000137 |