Declarative programming in Prolog

Proving concurrent constraint programs correct

ACM Transactions on Programming Languages and Systems (TOPLAS)

Directional Type Checking for Logic Programs: Beyond Discriminative Types

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems

Proving Correctness and Completeness of Normal Programs - A Declarative Approach

Proceedings of the 17th International Conference on Logic Programming

The Declarative Side of Magic

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II

Success in Logic Programs

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation

Using parametric set constraints for locating errors in CLP programs

Theory and Practice of Logic Programming