Benoit Desouter, Marko van Dooren, Tom Schrijvers
Tabling as a library with delimited control
ICLP, 2015.
@article{ICLP-J-2015-DesouterDS,
author = "Benoit Desouter and Marko van Dooren and Tom Schrijvers",
doi = "10.1017/S1471068415000137",
journal = "{Theory and Practice of Logic Programming}",
number = "4-5",
pages = "419--433",
title = "{Tabling as a library with delimited control}",
volume = 15,
year = 2015,
}











