Das Skolem-Problem und verwandte Entscheidungsprobleme. - Gerhard Hensel (1986)