Mhamdi, Tarek (2003) On the embedding of multiway decision graphs in HOL. Masters thesis, Concordia University.