Deciding Definability in FO_2(<_h, <_v) on Trees | IEEE Conference Publication | IEEE Xplore