DECIDING DEFINABILITY IN FO2(<v,<h) ON TREES. - PLACE, THOMAS; SEGOUFIN, LUC (Logical Methods in Computer Science (LMCS), 2015)