Innermost tree reduction

From Free net encyclopedia