Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm

by Ilkka Niemelä
Citations:327 - 15 self