Structural recursion for querying ordered graphs.

Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

Browse the full ICFP paper archive.