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

by Ilkka Niemela
Venue:Annals of Mathematics and Artificial Intelligence,