Hirstand Harel. Completeness Results for Recursive Data Bases. Elsevier BV, 1996, doi:10.1006/jcss.1996.0039.