First Author:   Krzysztof Apt Centre for Mathematics and Computer Science (CWI) apt@cwi.nl   K.R. Apt, CWI Amsterdam, 1098 SJ, The Netherlands   31-20-592.4057(Phone) 31-20-592.4057(Fax) http://www.cwi.nl/~apt