Structural recursion on ordered trees and list-based complex objects (2007)

by E L Robertson, L V Saxton, D V Gucht, S Vansummeren
Venue:In ICDT