smith901@ted.cs.uidaho.edu (04/03/91)
I am trying to get a copy of two references having to do with logic program transformation: Clark, K.L. (1977) "Synthesis and verification of logic programs." Research Report, Dept. of Computing and Control. Imperial College, London. Eriksson, A. and A.L. Johansson. (1981) "NATDED a Derivation Editor." UPMAIL, Computing Science Department, Uppsala University. Any help you can provide would be greatly appreciated. Thank You, Trevor Smith University of Idaho smith901@snake.cs.uidaho.edu