Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi. Specification-Based Automatic Verification of Prolog 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 38-57, Springer, 1996.
Abstract is missing.