Vitalsource Technologies, Inc. Bounded Queries In Recursion Theory