Perhaps you should try some spelling variations:
bounded verification » aided verification
based verification » based identification, based classification
bounded variables » bounded variable, bound variables, bind variables

You may be able to get more results by adjusting your search query.

• If you are trying to use Boolean operators, they must be ALL CAPS: (("bounded variation") OR ("((bounded variables) or (((bounded verification) OR (based verification))))")).
• Removing quotes may allow a broader search: (( bounded variation ) or ( ((bounded variables) or (((bounded verification) OR (based verification)))) )).
• Adding a wildcard symbol may retrieve word variants: (("bounded variation") or ("((bounded variables) or (((bounded verification) OR (based verification))))"))*.