Jacques Cohen
Brandeis University, Waltham, Massachusetts, USA
Constraint logic programming languages
Communications of the ACM
On rule systems whose consistency can be locally maintained
AI Communications - Intelligent Engineering Techniques for Knowledge Bases