Tabling as a library with delimited control.

Saved in:

Bibliographic Details
Title:	Tabling as a library with delimited control.
Authors:	DESOUTER, BENOIT¹ benoit.desouter@ugent.be, VAN DOOREN, MARKO¹ marko.vandooren@ugent.be, SCHRIJVERS, TOM² 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:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068415000137