Principles for a Judgement Editor Based on Binary Decision Diagrams. - Guillaume Aucher; Jean Berbinau; Marie-Laure Morin (FLAP, 2019)