Structural recursion as a query language (1991)

by al
Venue:DBPL