Implementing Thread Cancellation in Multithreaded Prolog Systems. - Atef Suleiman; John Miller (PADL, 2009)