Re: [rules-users] Truth maintenance and RHS variables