Implementing Thread Cancellation in Multithreaded Prolog Systems.

Atef Suleiman, John Miller

Browse the full PADL paper archive.