First Author:   Krzysztof R. Apt Centrum Wiskunde & Informatica (CWI) and University of Amsterdam apt@cwi.nl   K.R. Apt, CWI Amsterdam, 1098 XG, The Netherlands   31-20-592.4057(Phone) 31-20-592.4057(Fax) http://www.cwi.nl/~apt