Jurvanen, Eija. “The Boolean Closure of DR-Recognizable Tree Languages”. Acta Cybernetica 10, no. 4 (January 1, 1992): 255–272. Accessed April 15, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3411.