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