Completeness Results for Recursive Data Bases.

Tirza Hirst, David Harel

Browse the full PODS paper archive.