Lock-free atom garbage collection for multithreaded Prolog. - WIELEMAKER, JAN; HARRIS, KERI; Carro, Manuel; King, Andy (Theory & Practice of Logic Programming, 2016)