Multithreaded Tabling for Logic Programming - Miguel João Gonçalves Areias (2015)