Perhaps you should try some spelling variations:
bounded verification » based verification
aided verification » based verification
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 (aided verification))))")).
• Removing quotes may allow a broader search: (( bounded variation ) or ( ((bounded variables) or (((bounded verification) or (aided verification)))) )).
• Adding a wildcard symbol may retrieve word variants: (("bounded variation") or ("((bounded variables) or (((bounded verification) or (aided verification))))"))*.