Klaus Madlener, Friedrich Otto. Decidable Sentences for Context-Free Groups. In Christian Choffrut, Matthias Jantzen, editors, STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings. Volume 480 of Lecture Notes in Computer Science, pages 160-171, Springer, 1991.
Abstract is missing.