Decidable sentences for context-free groups - Madlener, Klaus; Otto, Friedrich (1990)