Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm

by Ilkka Niemelä
Citations:326 - 15 self