A complete and recursive feature theory

Combination of constraint systems II: rational amalgamation

Theoretical Computer Science

A Methodological View of Constraint Solving

Constraints

Dominance Constraints in Context Unification

LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics

Basic theory of feature trees

ACM Transactions on Computational Logic (TOCL)

A new generic scheme for functional logic programming with constraints

Higher-Order and Symbolic Computation

Constraint Functional Logic Programming Revisited

Electronic Notes in Theoretical Computer Science (ENTCS)

Anti-patterns for rule-based languages

Journal of Symbolic Computation

Anti-pattern matching

ESOP'07 Proceedings of the 16th European conference on Programming