Nachum Dershowitz Shmuel Zaks Applied Tree Enumerations. 180-193 1981 conf/caap/1981 CAAP db/conf/caap/caap81.html#DershowitzZ81 http://dx.doi.org/10.1007/3-540-10828-9_62