Truth Tables to Binary Decision Diagrams in Modern ATL. - Wagelaar, Dennis; Calvar, Théo Le; Jouault, Frédéric (2019)