Memoizing Purely Functional Top-Down Backtracking Language Processors. - Richard A. Frost; Barbara Szydlowski (Sci. Comput. Program., 1996)