3 papers:
LOPSTR-1991-FuchsF #logic programming #source code- Schema-Based Transfomations of Logic Programs (NEF, MPJF), pp. 111–125.
- LOPSTR-1991-ProiettiP #automation #logic programming #source code
- An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract) (MP, AP), pp. 126–128.
- LOPSTR-1991-WigginsBKH #induction #logic programming #proving #source code #synthesis
- Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof (GAW, AB, IK, JH), pp. 27–45.
