Handling variables in a logical network of rules, revision of consistency controlling method of the plan of action manager SUPER. - Ronan Yann Lorin; Pierre Morizet-Mahoudeaux (SMC, 1989)