Sa ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane. The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. In Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings. pages 136-141, IEEE, 2008. [doi]