Decidable Properties of Polycyclic Groups