Handling variables in a logical network of rules, revision of consistency controlling method of the plan of action manager SUPER | IEEE Conference Publication | IEEE Xplore