On decomposition of Kleene TDDs | IEEE Conference Publication | IEEE Xplore