Pawel Cholewinski
-
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence