Implementation Strategies for Plan-Based Deduction. - Kenneth Forsythe; Stan Matwin (CADE, 1984)

Copying of Dynamic Structures in a Pascal Environment. - Kenneth Forsythe; Stan Matwin (Softw. Pract. Exp., 1986)