A characterization of NC by tree recurrence | IEEE Conference Publication | IEEE Xplore