Pourabdollah, A., & Brailsford, T. (2014). On the Turing Completeness of the Semantic Web. Theory of Computing Systems, 56(2), 291-308. https://doi.org/10.1007/s00224-014-9536-x