Verification of Business Rules Programs = Verifikation von Geschäftsregel-Programmen. - Bruno Berstel-Da Silva (Springer, 2012)

Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs. - Bruno Berstel-Da Silva (RuleML, 2012)

Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal. - Bruno Berstel-Da Silva; Amina Chniti (RR, 2013)