Constraint Propagation.- GCC-Like Restrictions on the Same Constraint.- A Note on Bilattices and ...