Re: [rules-users] Papers about Drools Verifier