Subgroup testing problem

Definition
We are working inside a universe group $$U$$ described by means of an encoding $$C$$.

We are given subgroups $$G$$ and $$H$$ of $$U$$, specified by generating sets ($$A$$ for $$G$$ and $$B$$ for $$H$$). The goal is to determine whether $$H \le G$$.