1. Abdallah, S.: More declarative tabling in Prolog using multi-prompt delimited control. CoRR abs/1708.07081 (2017)
2. Danvy, O., Filinski, A.: Abstracting control. In: Proceedings of the LFP 1990, pp. 151–160 (1990)
3. Desouter, B., van Dooren, M., Schrijvers, T.: Tabling as a library with delimited control. TPLP 15(4–5), 419–433 (2015)
4. Dyvbig, R.K., Jones, S.P., Sabry, A.: A monadic framework for delimited continuations. Technical report 615, Computer Science Department Indiana University (2005)
5. Felleisen, M.: The theory and practice of first-class prompts. In: Proceedings of the POPL 1988, pp. 180–190 (1988)