Publications
Constraint based integrity checking in Abductive and other extensions of constraint logic programs
Curried-least general generalization
Extended analysis of intelligent backtracking algorithms for constraint satsifaction problems
A framework for learning constraints: (Extended abstract)
Higher order functions in Equational Reasoning
Inductive Constraint logic programming : A survey