Rui Marques, Terrance Swift, José C. Cunha: A Simple and Efficient Implementation of Concurrent Local Tabling. PADL 2010: 264-278