Survey of Logic Program Synthesis

Logic Program Synthesis.
Y. Deville and K.-K. Lau. Journal of Logic Programming, 19,20:321-350, 1994. Special Issue: Ten Years of Logic Programming.
[Abstract] [Paper] [BibTeX]

Back to Kung-Kiu Lau's home page