Some description, comments and history about the highlighted problem "FO-definability of regular tree languages".
