Combinining prolog program in a techniques editing system. Research paper 636 (1993)

by M Vargas-Vera, D Robertson, R Inder
Venue:In Third International Workshop on Logic Programming Synthesis and Transformation