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, }