Decidable Sentences for Context-Free Groups.

Klaus Madlener, Friedrich Otto

Browse the full STACS paper archive.