A recursive techniques editor (1991)

by A Bundy, G Grosse, P Brna
Venue:for Prolog. Instructional Science