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

by Ilkka Niemela
Venue:Annals of Mathematics and Artificial Intelligence