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

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