Tree-Shellability of Restricted DNFs. - Yasuhiko Takenaga; Nao Katougi (IEICE Trans. Inf. Syst., 2008)