Marc Torrens Boi Faltings Pearl Pu SmartClients: Constraint Satisfaction as a Paradigm for Scaleable Intelligent Information Systems. 49-69 2002 7 Constraints 1 db/journals/constraints/constraints7.html#TorrensFP02