Integrating Datalog and Constraint Solving. - Benoit Desouter; Tom Schrijvers (CoRR, 2013)

Implementing LP Systems with CP Techniques. - Benoit Desouter (Theory Pract. Log. Program., 2013)

Delimited continuations for prolog. - Tom Schrijvers; Bart Demoen; Benoit Desouter; Jan Wielemaker (Theory Pract. Log. Program., 2013)

Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. - Tom Schrijvers; Nicolas Wu; Benoit Desouter; Bart Demoen (PPDP, 2014)

Tor: Modular search with hookable disjunction. - Tom Schrijvers; Bart Demoen; Markus Triska; Benoit Desouter (Sci. Comput. Program., 2014)

Tabling as a library with delimited control. - Benoit Desouter; Marko van Dooren; Tom Schrijvers (Theory Pract. Log. Program., 2015)

Tabling as a Library with Delimited Control. - Benoit Desouter; Marko van Dooren; Tom Schrijvers; Alexander Vandenbroucke (IJCAI, 2016)

Tabling with Sound Answer Subsumption. - Alexander Vandenbroucke; Maciej Piróg; Benoit Desouter; Tom Schrijvers (Theory Pract. Log. Program., 2016)