ML Anthology

van Dooren, Marko

1 publications

IJCAI 2016 Tabling as a Library with Delimited Control Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke