Models and equality for logical programming

Relating models of polymorphism

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Order-sorted unification

Journal of Symbolic Computation

Functional and constraint logic programming

Constraints in computational logics

L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols

IEEE Transactions on Software Engineering

Behavioral Compatibility of Self-Typed Theories

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming

Hierarchical Constraint Satisfaction Based on Subdefinite Models

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Rewriting Logic as a Metalogical Framework

FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science

An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

Category-based constraint logic

Mathematical Structures in Computer Science

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

Theory and Practice of Logic Programming

Herbrand theorems in arbitrary institutions

Information Processing Letters

Reflective metalogical frameworks

ACM Transactions on Computational Logic (TOCL)

Narrowing and Rewriting Logic: from Foundations to Applications

Electronic Notes in Theoretical Computer Science (ENTCS)

Order-sorted parameterization and induction

Semantics and algebraic specification

Interpolation for predefined types

Mathematical Structures in Computer Science