Institutions for logic programming

Semantics of Normal Logic Programs with Embedded Implications

Proceedings of the 17th International Conference on Logic Programming

Structured theories and institutions

Theoretical Computer Science

Composing programs in a rewriting logic for declarative programming

Theory and Practice of Logic Programming

Herbrand theorems in arbitrary institutions

Information Processing Letters

An institution for graph transformation

WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques