Miguel Areias 0001. Multithreaded Tabling for Logic Programming. PhD thesis, University of Porto, Portugal, 2015. [doi]
@phdthesis{pt-368, title = {Multithreaded Tabling for Logic Programming}, author = {Miguel Areias 0001}, year = {2015}, url = {https://hdl.handle.net/10216/78840}, researchr = {https://researchr.org/publication/pt-368}, cites = {0}, citedby = {0}, school = {University of Porto, Portugal}, }