Jurvanen, E. 1992. The Boolean closure of DR-recognizable tree languages. Acta Cybernetica. 10, 4 (Jan. 1992), 255-272.