Iterative postorder using two stacks. Phase 1: fill stack2 in reverse-postorder via stack1. Phase 2: pop stack2 for correct order.