Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm (1998)
Niemelä Ilkka