A heuristic program for solving problems stated as nondeterministic procedures (1968)

by R FIKES