Efficiency estimation - Controlling search in program synthesis.

Elaine Kant
Published in: AFIPS National Computer Conference (1978)