Ian J. Hayes, R. G. Nickson, Paul A. Strooper. Refining Specifications to Logic Programs. In John P. Gallagher, editor, Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR 96, Stockholm, Sweden, August 28-30, 1996, Proceedings. Volume 1207 of Lecture Notes in Computer Science, pages 1-19, Springer, 1996.
Abstract is missing.