The Boolean closure of DR-recognizable tree languages - Jurvanen Eija (1992)