Dieter Spreen Corrigendum to ``On Some Decision Problems in Programming''. 241-244 1999 148 Inf. Comput. 2 db/journals/iandc/iandc148.html#Spreen99