PLACE, T., & SEGOUFIN, L. (2015). DECIDING DEFINABILITY IN FO2(<v,<h) ON TREES. Logical Methods in Computer Science (LMCS), 11(3), 1. https://doi.org/10.2168/LMCS-11(3:4)2015
Chicago Style (17th ed.) Citation
PLACE, THOMAS, and LUC SEGOUFIN. "DECIDING DEFINABILITY IN FO2(
PLACE, THOMAS, and LUC SEGOUFIN. "DECIDING DEFINABILITY IN FO2(
Warning: These citations may not always be 100% accurate.