Logic programs with stable model semantics as a constraint programming paradigm (1999)

by Ilkka Niemelä
Venue:Annals of Mathematics and Artificial Intelligence