@inproceedings{HAHK13,
  author = {Soichiro Hidaka and  Kazuyuki Asada and Zhenjiang Hu and Hiroyuki Kato and Keisuke Nakano},
  title = {Structural Recursion for Querying Ordered Graphs},
  comment_booktitle = {Proceedings of the 18th ACM SIGPLAN international conference on Functional programming},
  note = {ICFP'13},
  month = Sep,
  year = 2013,
  publisher = {ACM},
  pages = 305--318,
  url = {http://www.biglab.org/pdf/icfp13.pdf}
}