Pilot Project on Speech Recognition using Layered Abduction and Multiple Knowledge Types. - John R. Josephson; M. Beckman; R. Fox; A. Krishnamurthy; T. Patten; L. Feth; B. Chandrasekaran 001 (HLT (2), 1989)

Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies. - M. Beckman; Samuel N. Kamin (ICCL, 1998)