Tree-shellability of Boolean functions. - Yasuhiko Takenaga; Kouji Nakajima; Shuzo Yajima (Theor. Comput. Sci., 2001)