Computing presentations for subgroups of polycyclic groups and of context-free groups - Kuhn, Norbert; Madlener, Klaus; Otto, Friedrich (1992)