Jurvanen, Eija. 1992. “The Boolean Closure of DR-Recognizable Tree Languages”. Acta Cybernetica 10 (4), 255-72. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3411.