TY  - RPRT
TI  - Tabling as a Library with Delimited Control
AU  - Benoit Desouter
AU  - Tom Schrijvers
AU  - Marko van Dooren
PY  - 2015
DO  - 10.1017/s1471068415000137
UR  - https://arxiv.org/abs/1507.08087
ID  - 1507.08087
ER  -