On the decidability of cryptographic group protocols. : Bericht Nr. 0201. February 2002. - Kuesters, Ralf (Institut für Informatik und Praktische Mathematik der Christian-Alberts-Universität, 2002)