An analysis of fixed-point queries on binary trees (1991)

by S Lindell
Venue:Theoretical Computer Science