Geometric methods proposed by Stallings [53] for treating finitely generated subgroups of free groups were successfully used to solve a wide collection of decision problems for free groups and their subgroups [4, 25, 37, 38, 43, 48, 56]. It turns out that Stallings’ methods can be effectively generalized for the class of amalgams of finite groups [39]. In the present paper we employ subgroup gr...