TY - RPRT TI - A refinement for ordered labeled trees AU - Seunghyun Seo AU - Heesung Shin PY - 2012 DO - 10.11568/kjm.2012.20.2. UR - https://arxiv.org/abs/1207.3291 ID - 1207.3291 ER -