Complexity of Two-Variable Logic on Finite Trees
['Saguy Benaim', 'Michael Benedikt', 'Witold Charatonik', 'Emanuel Kieroński', 'Rastislav Lenhardt', 'Filip Mazowiecki', 'James Worrell']
Complexity of Two-Variable Logic on Finite Trees