A model-theoretic reconstruction of the operational semantics of logic programs

Functional and constraint logic programming

Constraints in computational logics

Automated protocol verification in linear logic

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming

An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations

Theoretical Computer Science

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs

FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs

FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming

Specialising Logic Programs with Respect to Call?Post Specifications

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

A new framework for declarative programming

Theoretical Computer Science

Meta-circular abstract interpretation in prolog

The essence of computation

Composing programs in a rewriting logic for declarative programming

Theory and Practice of Logic Programming

An effective fixpoint semantics for linear logic programs

Theory and Practice of Logic Programming

A general framework for lazy functional logic programming with algebraic polymorphic types

Theory and Practice of Logic Programming

Model checking linear logic specifications

Theory and Practice of Logic Programming

Nontermination inference of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

A new generic scheme for functional logic programming with constraints

Higher-Order and Symbolic Computation

A higher-order logical framework for the algorithmic debugging and verification of declarative programs

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming

S-semantics for logic programming: A retrospective look

Theoretical Computer Science

Abstract interpretation of resolution-based semantics

Theoretical Computer Science

Constraint Functional Logic Programming Revisited

Electronic Notes in Theoretical Computer Science (ENTCS)

Abstract diagnosis of functional programs

LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation

An integrated framework for the diagnosis and correction of rule-based programs

Theoretical Computer Science

A modular semantics for higher-order declarative programming with constraints

Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming