The substitution-iteration as found in GlobSol is closely related to the well-established area of constraint propagation techniques, also called subdefinite programming. Further techniques, examples, and references can be found in [8, Ch. 7,].
For an explanation of code list generation, see [8, §1.4.4 and §2.2.2,].