Henning__Christiansen
An experimental CLP platform for integrity constraints and abduction
Automated reasoning with a constraint-based metainterpreter
Declarative semantics of a meta-programming language
Integrity constraints and constraint logic programming