@misc{indiciae6be49d7b2e46,
  title = {A refinement for ordered labeled trees},
  author = {Seunghyun Seo and Heesung Shin},
  year = {2012},
  doi = {10.11568/kjm.2012.20.2.},
  url = {https://arxiv.org/abs/1207.3291},
  note = {Source identifier: 1207.3291}
}