Two-Variable Logic with Counting and Trees | IEEE Conference Publication | IEEE Xplore